From 7b274edcb057cb31310d54c06ab38813da6dd06a Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Mon, 14 Feb 2022 15:54:01 -0800
Subject: [PATCH] Fix bug in `unitCmp` that caused `<` to return incorrect
 results.

Fixes #1579.
---
 cryptol-saw-core/saw/Cryptol.sawcore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;