diff -r 1444b4bee64b -r 093dcebe5ecb src/eric7/MicroPython/MicroPythonFileManager.py
--- a/src/eric7/MicroPython/MicroPythonFileManager.py Sun Dec 03 16:44:52 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonFileManager.py Sun Dec 03 19:46:34 2023 +0100
@@ -337,8 +337,8 @@
for name, nstat in destinationFiles:
destinationDict[name] = nstat
- destinationSet = set(destinationDict.keys())
- sourceSet = set(sourceDict.keys())
+ destinationSet = set(destinationDict)
+ sourceSet = set(sourceDict)
toAdd = sourceSet - destinationSet # add to dev
toDelete = destinationSet - sourceSet # delete from dev
toUpdate = destinationSet.intersection(sourceSet) # update files
