diff -r 8645d56f96e1 -r bf54ca580bf2 etc/options
--- 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"