Commit 89b7b4a0 authored by POTTIER Francois's avatar POTTIER Francois

Merge branch 'kitrename_lookup' into 'master'

KitRename: lookup must return the same atom if the atom is not in the environment.

See merge request !2
parents 589e20ca 2f361410
...@@ -21,7 +21,7 @@ let lookup env x = ...@@ -21,7 +21,7 @@ let lookup env x =
try try
Atom.Map.find x env Atom.Map.find x env
with Not_found -> with Not_found ->
assert false x
class ['self] map = object (_ : 'self) class ['self] map = object (_ : 'self)
method private extend = extend method private extend = extend
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment