From 871b842a715f0d28cb0eb7fe7f5f848d5387bcc0 Mon Sep 17 00:00:00 2001
From: Andrew Davison <andrew.davison@gmail.com>
Date: Wed, 11 Oct 2023 08:46:53 +1000
Subject: [PATCH] Top-level incorrect, re issue #362

---
 src/toplevel.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/toplevel.c b/src/toplevel.c
index cca0dd473..0356c2e8a 100644
--- a/src/toplevel.c
+++ b/src/toplevel.c
@@ -482,7 +482,6 @@ void dump_vars(query *q, bool partial)
 		q->numbervars = false;
 		q->parens = false;
 		any = true;
-		clear_write_options(q);
 	}
 
 	bool any_atts = any_attributed(q);