Added back export of print_path.

This commit is contained in:
Christian Rinderknecht 2019-04-13 19:54:33 +02:00
parent 6bf9dc9003
commit c7503e3285
No known key found for this signature in database
GPG Key ID: 9446816CFD267040

View File

@ -1,3 +1,5 @@
(* Printing the AST *)
val print_tokens : AST.t -> unit
val print_path : AST.path -> unit