From 847a09fd375836f80f645ffb708445b943ca626d Mon Sep 17 00:00:00 2001
From: h_vogt <h_vogt>
Date: Sun, 1 May 2016 18:52:52 +0200
Subject: [PATCH] inpcom.c, get_number_terminals(), ignore "save" and "print"
 when CIDER

---
 src/frontend/inpcom.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index 2334cd924..1abc4f520 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -3677,6 +3677,10 @@ get_number_terminals(char *c)
             name[i] = gettok_instance(&c);
             if (strstr(name[i], "off") || strchr(name[i], '='))
                 j++;
+#ifdef CIDER
+            if (strstr(name[i], "save") || strstr(name[i], "print"))
+                j++;
+#endif
             /* If we have IC=VBE, VCE instead of IC=VBE,VCE we need to inc j */
             if ((comma = strchr(name[i], ',')) != NULL && (*(++comma) == '\0'))
                 j++;