diff --git a/COMPILED/dead-deadline.z3                                                             b/COMPILED/dead-deadline.z3
similarity index 100%
rename from COMPILED/dead-deadline.z3                                                            
rename to COMPILED/dead-deadline.z3
diff --git a/COMPILED/deadline.z3                                                             b/COMPILED/deadline.z3
similarity index 100%
rename from COMPILED/deadline.z3                                                            
rename to COMPILED/deadline.z3