Merge pull request #12 from fehrenbach/fix-11

Possibly fixes #11.
links-lang · Nov 5, 2014 · 61f1054 · 61f1054
2 parents 3477fee + 2b31b69
commit 61f1054
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/query.ml b/query.ml
@@ -223,7 +223,7 @@ let rec freshen_for_bindings : Var.var Env.Int.t -> t -> t =
           List.fold_left
             (fun (gs', env') (x, source) ->
               let y = Var.fresh_raw_var () in
-                ((y, ffb source)::gs', Env.Int.bind env (x, y)))
+                ((y, ffb source)::gs', Env.Int.bind env' (x, y)))
             ([], env)
             gs
         in