From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 28 Jun 2014 20:04:27 +0000 (-0400)
Subject: Fix bug in datatypes options specification
X-Git-Tag: cvc5-1.0.0~6714
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a1c1b38e42f16ba942ddb029409a942907ed0d24;p=cvc5.git

Fix bug in datatypes options specification
---

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