diff --git a/cryptol-saw-core/saw/Cryptol.sawcore b/cryptol-saw-core/saw/Cryptol.sawcore
index d60f150f88..ea38636eea 100644
--- 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;