Fix examples/Congruence.cql. #148

statebox · Aug 8, 2019 · f974f3b · f974f3b
1 parent 40476b6
commit f974f3b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/Congruence.cql b/examples/Congruence.cql
@@ -1,5 +1,5 @@
-prover
-    options = congruence
+options
+    prover = congruence
 
 typeside T = literal {
     types