Fix Fhyp type

david-a-wheeler · Mar 5, 2024 · 4d185c6 · 4d185c6
1 parent 865e742
commit 4d185c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mmverify.py b/mmverify.py
@@ -45,7 +45,7 @@
 Symbol = typing.Union[Var, Const]
 Stmt = list[Symbol]
 Ehyp = Stmt
-Fhyp = tuple[Var, Const]
+Fhyp = tuple[Const, Var]
 Dv = tuple[Var, Var]
 Assertion = tuple[set[Dv], list[Fhyp], list[Ehyp], Stmt]
 FullStmt = tuple[Stmttype, typing.Union[Stmt, Assertion]]