change bindings.ml to syntax.ml

2022-03-31 00:01:52 +02:00 · 2022-03-31 00:01:52 +02:00 · 575e4d4e00
commit 575e4d4e00
parent cf0ad20c79
6 changed files with 9 additions and 9 deletions
--- a/src/pp_babillard.ml
+++ b/src/pp_babillard.ml
@ -1,5 +1,5 @@
-include Bindings
-include Babillard
+open Syntax
+open Babillard
 open Db

 let pp_post fmt t =