dama, tests, legacy ported

[helm.git] / components / content_pres / termContentPres.ml

diff --git a/components/content_pres/termContentPres.ml b/components/content_pres/termContentPres.ml
index 0ee424f18570d318b74d942d936573029d206eed..2fccd4f64a55ca8ad547fc233808fac2b9b0bab6 100644 (file)
--- a/components/content_pres/termContentPres.ml
+++ b/components/content_pres/termContentPres.ml
@@ -672,3 +672,5 @@ let instantiate_level2 env term =
 
 let _ = load_patterns21 []
 
+
+