Fix bug in datatypes options specification

diff --git a/src/theory/datatypes/options b/src/theory/datatypes/options
index fcf36648dcb8bea7a1221507bf7e3a64f7ffc2d0..5fc59b54939546575f18d54e6761cb96c97aa1ae 100644 (file)
--- 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