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