Commit 64bcaa10 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Small mistake

parent b899e36c
......@@ -101,7 +101,7 @@ and print_meth out_fmter (Tmeth (x, ty, body, _)) =
print_ty ty
print_par_term body
let print_line out_fmter = function
let rec print_line out_fmter = function
| Ttypedef (cid, ty) ->
Format.fprintf out_fmter "@[<h>Definition %a :=@ %a%%ty.@]@\n"
print_cid cid
Markdown is supported
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