From 300b517adb31ea4239812c1c47b59cef8a250c48 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Sat, 29 Aug 2020 22:31:59 +0100
Subject: Correct external declaration in mono_rewrites

---
 lib/mono_rewrites.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail
index 1e7fe58f..3efc028a 100644
--- a/lib/mono_rewrites.sail
+++ b/lib/mono_rewrites.sail
@@ -175,7 +175,8 @@ val _builtin_unsigned = {
   ocaml: "uint",
   lem: "uint",
   interpreter: "uint",
-  c: "sail_uint"
+  c: "sail_unsigned",
+  coq: "uint"
 } : forall 'n. bits('n) -> {'m, 0 <= 'm < 2 ^ 'n. int('m)}
 
 /* There are different implementation choices for division and remainder, but
-- 
cgit v1.2.3