From 8ebb053b1c8a43df8b8df21e31ed5a94cf0a53be Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 30 Nov 2012 18:16:59 +0000 Subject: Adding smtname level options for tlimit, rlimit, etc. Fix to the internal documentation in base_options. --- src/options/base_options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/options/base_options') diff --git a/src/options/base_options b/src/options/base_options index d19c3b812..b4cc473eb 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -31,7 +31,7 @@ # # SPECIFICATIONs take this form: # -# SPECIFICATION ::= (internal-name | -) [-short-option/-alternate-short-option] [--long-option/--alternate-long-option] [smt-option-name] C++-type [ATTRIBUTEs...] +# SPECIFICATION ::= (internal-name | -) [smt-option-name] [-short-option/-alternate-short-option] [--long-option/--alternate-long-option] C++-type [ATTRIBUTEs...] # ATTRIBUTE ::= :include include-files.. # | :default C++-expression # | :handler custom-option-handlers.. -- cgit v1.2.3