diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-23 15:44:50 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-23 15:44:50 -0500 |
commit | a96fbfe33c05bea0b94d5387dda65c2ae343f66b (patch) | |
tree | a3b1e28dc45f05ef218331217ed072e842d6dfd3 /src/options/uf_options.toml | |
parent | 4c2138a14c4abba2431bc8ba51359d3a565baf05 (diff) |
Add notions of evaluated kinds in TheoryModel (#1947)
Diffstat (limited to 'src/options/uf_options.toml')
-rw-r--r-- | src/options/uf_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/uf_options.toml b/src/options/uf_options.toml index 791b6e0bb..73a2be9ff 100644 --- a/src/options/uf_options.toml +++ b/src/options/uf_options.toml @@ -12,15 +12,6 @@ header = "options/uf_options.h" help = "use UF symmetry breaker (Deharbe et al., CADE 2011)" [[option]] - name = "condenseFunctionValues" - category = "regular" - long = "condense-function-values" - type = "bool" - default = "true" - read_only = true - help = "condense models for functions rather than explicitly representing them" - -[[option]] name = "ufssRegions" category = "regular" long = "uf-ss-regions" |