diff options
Diffstat (limited to 'src/options/builtin_options')
| -rw-r--r-- | src/options/builtin_options | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/builtin_options b/src/options/builtin_options new file mode 100644 index 000000000..ea4229b67 --- /dev/null +++ b/src/options/builtin_options @@ -0,0 +1,8 @@ +# +# Option specification file for CVC4 +# See src/options/base_options for a description of this file format +# + +module BUILTIN "options/builtin_options.h" Builtin theory + +endmodule |