diff options
Diffstat (limited to 'src/extraction/Makefile')
-rw-r--r-- | src/extraction/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/extraction/Makefile b/src/extraction/Makefile index 07a30dd..8919438 100644 --- a/src/extraction/Makefile +++ b/src/extraction/Makefile @@ -1,7 +1,9 @@ # List of user's files and name of the final program (edit this part) -USERFILES=test.ml -PROGRAM=test +USERFILES=smtcoq.ml +PROGRAM=smtcoq +# USERFILES=test.ml +# PROGRAM=test # USERFILES=../../../../examples/example.ml # PROGRAM=../../../../examples/example |