* max_elems now 1000

git-svn-id: trunk@4401 -
This commit is contained in:
marco 2006-08-11 09:41:19 +00:00
parent aa6137b12b
commit 00b93a5916

View File

@ -79,7 +79,7 @@ lno : Integer; (* current line number *)
const
max_elems = 100; (* maximum size of integer sets *)
max_elems = 1000; (* maximum size of integer sets *)
type