Commit 3335b48a authored by Pierre Delaunay's avatar Pierre Delaunay
Browse files

Fix recursive definition handling 

Changes to be committed:
* src/debruijn.ml
* src/lparse.ml
parent 38d418dc
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment