changeset 66780 | bf54ca580bf2 |
parent 66379 | 6392766f3c25 |
child 67137 | f2384ad1dff4 |
--- a/etc/options Sat Oct 07 20:20:03 2017 +0200 +++ b/etc/options Sat Oct 07 20:31:01 2017 +0200 @@ -113,9 +113,6 @@ option profiling : string = "" -- "ML profiling (possible values: time, allocations)" -option theory_qualifier : string = "" - -- "explicit theory qualifier for special sessions (default: session name)" - section "ML System"