summaryrefslogtreecommitdiff
path: root/src/options/uf_options.toml
diff options
context:
space:
mode:
Diffstat (limited to 'src/options/uf_options.toml')
-rw-r--r--src/options/uf_options.toml1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/uf_options.toml b/src/options/uf_options.toml
index bd0027fb4..8b99493e1 100644
--- a/src/options/uf_options.toml
+++ b/src/options/uf_options.toml
@@ -1,6 +1,5 @@
id = "UF"
name = "Uninterpreted functions theory"
-header = "options/uf_options.h"
[[option]]
name = "ufSymmetryBreaker"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback