X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FmrcInput.ml;h=e31efac1f9a3134168f6c9fe34c279c812b38844;hp=c5d7f585772a9caf4b54597f56e003c162873bcb;hb=8fdf1af656038d0245eba64ff2531bbe94ce0e9e;hpb=77c9255de3c5f7780aeacd745703a1cc76328a68

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml b/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
index c5d7f5857..e31efac1f 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
@@ -1,14 +1,11 @@
 module ET = MrcTypes
+module RL = RecommLib
 
 let read_substs substs ich =
-  let map subst =
-    let words = String.split_on_char ' ' subst in
-    List.filter ((<>) "") words
-  in
   while true do
     let line = input_line ich in
-    let subst = String.split_on_char ',' line in   
-    substs := List.map map subst :: !substs
+    let subst = RL.split_on_char ',' line in
+    substs := List.map (RL.split_on_char ' ') subst :: !substs
   done
 
 let read_file file =