Fix bug in unitCmp that caused < to return incorrect results.

Fixes #1579.
GaloisInc · Feb 14, 2022 · 7b274ed · 7b274ed
1 parent 2eb734f
commit 7b274ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol-saw-core/saw/Cryptol.sawcore b/cryptol-saw-core/saw/Cryptol.sawcore
@@ -486,7 +486,7 @@ vecLt n a f g xs ys =
     (zipWith a a (Bool -> Bool) f n xs ys);
 
 unitCmp : #() -> #() -> Bool -> Bool;
-unitCmp _ _ _ = False;
+unitCmp _ _ k = k;
 
 unitLt : #() -> #() -> Bool;
 unitLt _ _ = False;