etc/options
changeset 66780 bf54ca580bf2
parent 66379 6392766f3c25
child 67137 f2384ad1dff4
     1.1 --- a/etc/options	Tue Aug 08 22:13:05 2017 +0200
     1.2 +++ b/etc/options	Sat Oct 07 20:31:01 2017 +0200
     1.3 @@ -113,9 +113,6 @@
     1.4  option profiling : string = ""
     1.5    -- "ML profiling (possible values: time, allocations)"
     1.6  
     1.7 -option theory_qualifier : string = ""
     1.8 -  -- "explicit theory qualifier for special sessions (default: session name)"
     1.9 -
    1.10  
    1.11  section "ML System"
    1.12