From 70bd4e69c0e520d46c65129a731714eb04ca6847 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Fri, 8 Mar 2019 10:50:31 -0800
Subject: Fix the Coq mapping for eq_string in Sail lib.

---
 lib/string.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/string.sail b/lib/string.sail
index 9c4ad2f6..3fe74eb5 100644
--- a/lib/string.sail
+++ b/lib/string.sail
@@ -3,7 +3,7 @@ $define _STRING
 
 $include <arith.sail>
 
-val eq_string = {lem: "eq", _: "eq_string"} : (string, string) -> bool
+val eq_string = {lem: "eq", coq: "generic_eq", _: "eq_string"} : (string, string) -> bool
 
 infixl 9 ^-^
 
-- 
cgit v1.2.3