abstracted pretty printers over inner pretty printing units (terms, lazy terms, and...

[helm.git] / helm / ocaml / grafite / cicNotation.mli

diff --git a/helm/ocaml/grafite/cicNotation.mli b/helm/ocaml/grafite/cicNotation.mli
index 41b775562d43557a151a96ecc07bf962bd2e33c0..9eb98c1d3339ad2ef3142bc30fd7b12196c126d5 100644 (file)
--- a/helm/ocaml/grafite/cicNotation.mli
+++ b/helm/ocaml/grafite/cicNotation.mli
@@ -26,7 +26,7 @@
 type notation_id
 
 val process_notation:
-  ('a, 'b) GrafiteAst.command -> ('a, 'b) GrafiteAst.command * notation_id list
+  'obj GrafiteAst.command -> 'obj GrafiteAst.command * notation_id list
 
 val remove_notation: notation_id -> unit