Wildcard patterns implemented in case analysis. The following term is now

[helm.git] / helm / software / components / acic_content / termAcicContent.mli

diff --git a/helm/software/components/acic_content/termAcicContent.mli b/helm/software/components/acic_content/termAcicContent.mli
index 1fd57e0d00cdcec44e1fb2c7059cc42ea2b32bbf..49358bfce00a8b546e71c787b1afc1c68fbaa4b6 100644 (file)
--- a/helm/software/components/acic_content/termAcicContent.mli
+++ b/helm/software/components/acic_content/termAcicContent.mli
@@ -23,6 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
+
   (** {2 Persistant state handling} *)
 
 type interpretation_id