diff -r ff09d29498b0 -r 31e8a86971a8 etc/options
--- 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"