diff -r 4dec713d3bc9 -r 7cac5565e79b etc/options
--- a/etc/options	Thu Sep 08 22:59:21 2022 +0200
+++ b/etc/options	Fri Sep 09 14:03:29 2022 +0200
@@ -59,8 +59,6 @@
 
 option show_consts : bool = false
   -- "show constants with types when printing proof state"
-option show_goal_inst : bool = true
-  -- "show goal instantiation (for schematic goals)"
 option show_main_goal : bool = false
   -- "show main goal when printing proof state"
 option goals_limit : int = 10