[r2005-02-28 15:45:35 by cmiachon] bug corrected in where clause on binaries operators

Original author: cmiachon
Date: 2005-02-28 15:45:35+00:00

query/query.ml

@@ -162,7 +162,7 @@ match x with
         LocatedExpr(_,x) -> var_of_pexpr x
        |Var(s) -> [ident s]
        |Pair(e1,e2) -> var_of_pexpr e1 @ var_of_pexpr e2
-       |Apply(e1,e2) ->  var_of_pexpr e2
+       |Apply(e1,e2) ->  var_of_pexpr e1 @ var_of_pexpr e2
        |Transform(e,_) -> var_of_pexpr e
        |Match(e,_) -> var_of_pexpr e 
        |Map(e,_) -> var_of_pexpr e