diff options
| author | Alastair Reid | 2018-04-18 15:27:39 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-04-18 15:27:50 +0100 |
| commit | 6502d5a40d76d70f73847392750e163294ddcfac (patch) | |
| tree | e792fb3b683b9c9d9dfcda2b983a56428faf9999 | |
| parent | 7adfbd40df2379d8669843e71b0993fc69d1690c (diff) | |
Fix another reference to BK_nat
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |