X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2Fprocedural2.ml;h=777ccd5f5101b797f2cb92a48e53cb0c83bc2c7d;hb=6daa2cc113783aaba53d82c47fe7107988d76e11;hp=d91b00084012a6954e9b2b84b964ae61c251461d;hpb=d17a38ddca548c784e9efa7c55e87c80203b024d;p=helm.git

diff --git a/helm/software/components/acic_procedural/procedural2.ml b/helm/software/components/acic_procedural/procedural2.ml
index d91b00084..777ccd5f5 100644
--- a/helm/software/components/acic_procedural/procedural2.ml
+++ b/helm/software/components/acic_procedural/procedural2.ml
@@ -194,11 +194,9 @@ let mk_exp_args hd tl classes synth qs =
    let exp = ref 0 in
    let meta id = C.AImplicit (id, None) in
    let map v (cl, b) =
-      if I.overlaps synth cl then
-         let w = if H.is_atomic (H.cic v) then v else meta "" in
-         if b then v, v else meta "", w
-      else 
-         meta "", meta ""
+      if I.overlaps synth cl
+         then if b then v, v else meta "", v
+         else meta "", meta ""
    in
    let rec rev a = function
       | []       -> a