From 169ff6c0d196246e28c4413b43895ad5a377a2e5 Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Fri, 16 Feb 2024 16:18:32 +0100 Subject: add type universe to grammar --- bin/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/main.ml') diff --git a/bin/main.ml b/bin/main.ml index 1607ec4..6c62764 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -8,7 +8,7 @@ let parse (s : string) : Ast.expr = let rec repl () = let input = read_line () in let ast = parse input in - Format.printf "%a\n%!" Ast.dump_expr ast; + Format.printf "%a\n%!" Ast.pp_expr ast; repl () let () = repl () -- cgit 1.4.1