ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / renderingAttrs.ml

diff --git a/helm/ocaml/cic_notation/renderingAttrs.ml b/helm/ocaml/cic_notation/renderingAttrs.ml
index fd2ddd24aa4747674d51ae71d2733d08a94c52bc..478ceff950e53d672996e91123c29eacdac7a864 100644 (file)
--- a/helm/ocaml/cic_notation/renderingAttrs.ml
+++ b/helm/ocaml/cic_notation/renderingAttrs.ml
@@ -42,3 +42,7 @@ let symbol_attributes _ = []
 let ident_attributes _ = []
 let number_attributes _ = []
 
+let spacing_attributes _ = [ None, "spacing", "0.5em" ]
+let indent_attributes _ = [ None, "indent", "0.5em" ]
+let small_skip_attributes _ = [ None, "width", "0.5em" ]
+