From 50c4aa24d6661aaa3def1b6ef83538b78ef91be2 Mon Sep 17 00:00:00 2001
From: Nick Briggs <nicholas.h.briggs@gmail.com>
Date: Mon, 14 Dec 2020 22:35:55 -0800
Subject: [PATCH] Interface page storagefullstate is only defined if
 NEW_STORAGE.

---
 src/tstsout.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tstsout.c b/src/tstsout.c
index 8e6ff27..ac57e25 100644
--- a/src/tstsout.c
+++ b/src/tstsout.c
@@ -75,7 +75,9 @@ void check_sysout(char *sysout_file_name, int verbose) {
   if (verbose) {
       printf("ifpage.minbversion %d\n", ifpage.minbversion);
       printf("ifpage.process_size %d\n", ifpage.process_size);
+#ifdef NEW_STORAGE
       printf("ifpage.storagefullstate %d\n", ifpage.storagefullstate);
+#endif
       printf("ifpage.nactivepages %d\n", ifpage.nactivepages);
   } else {
       printf("%d", ifpage.minbversion);