diff options
Diffstat (limited to 'src/functions.ml')
-rwxr-xr-x | src/functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/functions.ml b/src/functions.ml index dfedfd0..0258ce0 100755 --- a/src/functions.ml +++ b/src/functions.ml @@ -46,7 +46,7 @@ fun printer typ -> match typ with | Num -> Format.fprintf printer "Num"
| String -> Format.fprintf printer "String"
| List t -> Format.fprintf printer "List[%a]"
- repr t
+ (repr[@tailcall]) t
module C = Catalog.Make(struct
|