diff --git a/COMPILED/mac.z3                                                             b/COMPILED/mac.z3
similarity index 100%
rename from COMPILED/mac.z3                                                            
rename to COMPILED/mac.z3
diff --git a/COMPILED/r7.z3                                                             b/COMPILED/r7.z3
similarity index 100%
rename from COMPILED/r7.z3                                                            
rename to COMPILED/r7.z3
diff --git a/COMPILED/suspended.z3                                                             b/COMPILED/suspended.z3
similarity index 100%
rename from COMPILED/suspended.z3                                                            
rename to COMPILED/suspended.z3