X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Foptions%2Fexpr_options.toml;h=34a4fb979982537b8a79faf2a8bb787c394be0b8;hb=d5987a99361f227cf2ea1404fec594f4a998be70;hp=368fb34e44535adb6b9120e4107110f7c56c0036;hpb=ac8cf53b07eb29687850f2ae64007f9f2688c9ad;p=cvc5.git

diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml
index 368fb34e4..34a4fb979 100644
--- a/src/options/expr_options.toml
+++ b/src/options/expr_options.toml
@@ -9,7 +9,6 @@ header = "options/expr_options.h"
   type       = "int"
   default    = "0"
   predicates = ["setDefaultExprDepthPredicate"]
-  read_only  = true
   help       = "print exprs to depth N (0 == default, -1 == no limit)"
 
 [[option]]
@@ -20,7 +19,6 @@ header = "options/expr_options.h"
   type       = "int"
   default    = "1"
   predicates = ["setDefaultDagThreshPredicate"]
-  read_only  = true
   help       = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
 
 [[option]]
@@ -29,5 +27,4 @@ header = "options/expr_options.h"
   long       = "type-checking"
   type       = "bool"
   default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
-  read_only  = true
   help       = "type check expressions"