Commit f9d9f0a1 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

No commit message

No commit message
parent 7ee09ccc
...@@ -48,10 +48,8 @@ let rec print_type fmt ty = match ty.ty_node with ...@@ -48,10 +48,8 @@ let rec print_type fmt ty = match ty.ty_node with
let rec print_term fmt t = match t.t_node with let rec print_term fmt t = match t.t_node with
| Tbvar _ -> | Tbvar _ ->
assert false assert false
| Tconst (ConstInt s) -> | Tconst c ->
fprintf fmt "%s" s Pretty.print_const fmt c
| Tconst (ConstReal _) ->
assert false (*TODO*)
| Tvar { vs_name = id } | Tapp ({ ls_name = id }, []) -> | Tvar { vs_name = id } | Tapp ({ ls_name = id }, []) ->
print_ident fmt id print_ident fmt id
| Tapp (ls, tl) -> | Tapp (ls, tl) ->
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment