Commits

Paweł Wieczorek committed 2ac488c

minor

Comments (0)

Files changed (1)

src/Transformation/CWCPS/CWCPS_UncurryFunctions.ml

           when List.mem called_function definition_formal_arguments ->
 
             begin try
-                let new_definition_name = get_next_variable_from_enumerator variable_enumerator in
 
                 let is_definition_of_called_function (_, name, _, _) = name = passed_function in