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