generator patched

[helm.git] / helm / ocaml / mathql_interpreter / func.ml

diff --git a/helm/ocaml/mathql_interpreter/func.ml b/helm/ocaml/mathql_interpreter/func.ml
index 7f80da7f492f5d499eed9bc199493e735c60c732..857a4c69813ef015916f301400b4ac9cfc68f3c6 100644 (file)
--- a/helm/ocaml/mathql_interpreter/func.ml
+++ b/helm/ocaml/mathql_interpreter/func.ml
@@ -29,10 +29,13 @@
 
 open Dbconn;;
 open Utility;;
-open Mathql;;
+open MathQL;;
 
 (*
  * implementazione della funzione NAME
+ *
+ * esempio:
+ * name "cic:/Algebra/CC_Props/CC_CauchySeq.ind#xpointer(1/1/1)" = CC_CauchySeq
  *)
 let func_name value =
  try (