diff -r 5fc4e1fc39b1 -r 951abf9db857 etc/options
--- a/etc/options	Tue Sep 06 12:40:36 2022 +0200
+++ b/etc/options	Tue Sep 06 12:44:02 2022 +0200
@@ -66,6 +66,10 @@
 option goals_limit : int = 10
   -- "maximum number of subgoals to be printed"
 
+option show_states : bool = false
+  -- "show toplevel states even if outside of interactive mode"
+
+
 option names_long : bool = false
   -- "show fully qualified names"
 option names_short : bool = false