Commit 80c14000 authored by POTTIER Francois's avatar POTTIER Francois

Do not generate a [reduce] visitor.

parent d6adcc50
...@@ -17,9 +17,6 @@ type ('bn, 'fn) term = ...@@ -17,9 +17,6 @@ type ('bn, 'fn) term =
visitors { variety = "endo"; public = ["visit_term"]; visitors { variety = "endo"; public = ["visit_term"];
ancestors = ["BindingForms.endo"] } ancestors = ["BindingForms.endo"] }
, ,
visitors { variety = "reduce"; public = ["visit_term"];
ancestors = ["BindingForms.reduce"] }
,
visitors { variety = "iter2"; public = ["visit_term"]; visitors { variety = "iter2"; public = ["visit_term"];
ancestors = ["BindingForms.iter2"] } ancestors = ["BindingForms.iter2"] }
......
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