horn queries back

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@441 041b043f-8d7c-46b2-b46e-ef0dd855326e

README.md

@@ -5,5 +5,6 @@ LustreC is a modular compiler of Lustre code into C and Horn Clauses.
 
 ### People ###
 
+* Xavier Thirioux
 * Pierre-Loic Garoche
-* Temesghen Kahsai 
\ No newline at end of file
+* Temesghen Kahsai 

src/options.ml

@@ -37,7 +37,7 @@ let traces = ref false
 
 let horntraces = ref false
 let horn_cex = ref false
-let horn_queries = ref false
+let horn_queries = ref true
 
 
 let options =