From 6502d5a40d76d70f73847392750e163294ddcfac Mon Sep 17 00:00:00 2001
From: Alastair Reid
Date: Wed, 18 Apr 2018 15:27:39 +0100
Subject: Fix another reference to BK_nat

---
 src/lem_interp/pretty_interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml
index bf42795b..10ee591b 100644
--- a/src/lem_interp/pretty_interp.ml
+++ b/src/lem_interp/pretty_interp.ml
@@ -157,7 +157,7 @@ let doc_int i = string (to_string i)
 let doc_bkind (BK_aux(k,_)) =
   string (match k with
   | BK_type -> "Type"
-  | BK_nat -> "Nat"
+  | BK_int  -> "Int"
   | BK_order -> "Order")
 
 let doc_op symb a b = infix 2 1 symb a b
-- 
cgit v1.2.3