diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-28 16:04:27 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-28 16:04:27 -0400 |
| commit | a1c1b38e42f16ba942ddb029409a942907ed0d24 (patch) | |
| tree | 7913d6f1421cdf7c61bf8bb76d9012b2737d7b54 | |
| parent | e44b9dbc92ed26f4f02ff91272a080cef2d73bea (diff) | |
Fix bug in datatypes options specification
| -rw-r--r-- | src/theory/datatypes/options | 2 |
1 files changed, 1 insertions, 1 deletions
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 |