Changeset 539

Timestamp:

01/14/06 10:16:00 (18 years ago)

Author:

bittner

Message:

max options fix

File:

• trunk/VUT/GtpVisibilityPreprocessor/src/Environment.cpp (modified) (1 diff)

trunk/VUT/GtpVisibilityPreprocessor/src/Environment.cpp

@@ -1043 +1043 @@
   numParams = 0;
   params = NULL;
-  maxOptions = 200;
+  maxOptions = 500;