From 22d21a5c44a05e49c315bb0732cc0de100350e4a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 24 Aug 2012 15:44:33 -0700 Subject: Added recording history of used commands into file 'abc.history' (Windows only). --- src/base/main/mainInt.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/main') diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 5c30f7c0..1eb47424 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -48,7 +48,7 @@ ABC_NAMESPACE_HEADER_START #define ABC_VERSION "UC Berkeley, ABC 1.01" // the maximum length of an input line -#define MAX_STR 32768 +#define ABC_MAX_STR (1<<15) //////////////////////////////////////////////////////////////////////// /// STRUCTURE DEFINITIONS /// -- cgit v1.2.3