Add always to axioms in fly output

wilcoxjay · Nov 22, 2023 · 2fc6d51 · 2fc6d51
1 parent 1a3c10b
commit 2fc6d51
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mypyvy.py b/src/mypyvy.py
@@ -727,7 +727,7 @@ def to_fly(prog: Program) -> str:
         )
         if len(list(prog.axioms())) != 0:
             result += '\n\n# axioms:\n'
-            result += 'assume ' + ' & '.join(
+            result += 'assume always ' + ' & '.join(
                 '(' + str(axiom.expr) + ')'
                 for axiom in prog.axioms()
             )