diff --git a/specker1.txt b/specker1.cpp
similarity index 95%
rename from specker1.txt
rename to specker1.cpp
index 453d8fe..3fe843e 100644
--- a/specker1.txt
+++ b/specker1.cpp
@@ -104,4 +104,4 @@ ostream & operator << (ostream &out, const State &state) {
       return out;
     }
   
- 
\ No newline at end of file
+