diff options
| -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 |