From a1c1b38e42f16ba942ddb029409a942907ed0d24 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 28 Jun 2014 16:04:27 -0400 Subject: [PATCH] Fix bug in datatypes options specification --- src/theory/datatypes/options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/datatypes/options b/src/theory/datatypes/options index fcf36648d..5fc59b549 100644 --- a/src/theory/datatypes/options +++ b/src/theory/datatypes/options @@ -11,7 +11,7 @@ module DATATYPES "theory/datatypes/options.h" Datatypes theory # cdr( nil ) has no set value. expert-option dtRewriteErrorSel --dt-rewrite-error-sel bool :default false rewrite incorrectly applied selectors to arbitrary ground term -option dtForceAssignment /--dt-force-assignment bool :default false :read-write +option dtForceAssignment --dt-force-assignment bool :default false :read-write force the datatypes solver to give specific values to all datatypes terms before answering sat endmodule -- 2.30.2