Commit a372be72 authored by John van Groningen's avatar John van Groningen
Browse files

restore accidentally committed file (in previous commit)

parent 9334c3c1
......@@ -62,6 +62,7 @@ int stack_source = 0;
#endif
#if MORE_ANNOTS
/*# define MaxNrAnnots 2000*/
# define MaxNrAnnots 100
#else
# define MaxNrAnnots 10 /* the maximum nr of strict rhs annots */
......
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