etc/options
changeset 65456 31e8a86971a8
parent 65448 9bc3b57c1fa7
child 65595 ffd8283b7be0
     1.1 --- a/etc/options	Mon Apr 10 13:19:24 2017 +0200
     1.2 +++ b/etc/options	Mon Apr 10 13:30:55 2017 +0200
     1.3 @@ -113,6 +113,9 @@
     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