diff --git a/COMPILED/demo-r15.z3                                                             b/COMPILED/demo-r15.z3
similarity index 100%
rename from COMPILED/demo-r15.z3                                                            
rename to COMPILED/demo-r15.z3
diff --git a/COMPILED/demo-r5.z3                                                             b/COMPILED/demo-r5.z3
similarity index 100%
rename from COMPILED/demo-r5.z3                                                            
rename to COMPILED/demo-r5.z3
diff --git a/COMPILED/sampler.z3                                                             b/COMPILED/sampler.z3
similarity index 100%
rename from COMPILED/sampler.z3                                                            
rename to COMPILED/sampler.z3