From ccc12063d3e6b63543e1db2b8b38abc1fe90aec1 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sun, 30 Jun 2024 06:07:32 -0700
Subject: [PATCH] Clean up integer-info changes

Remove some old `special` declarations and nil'ed out code.  Minor
change to docstring for `*integer-info*`.

Otherwise, no functional changes.
---
 src/askp.lisp    | 2 --
 src/globals.lisp | 2 +-
 src/limit.lisp   | 5 ++---
 3 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/askp.lisp b/src/askp.lisp
index 69c95534f..1a8937817 100644
--- a/src/askp.lisp
+++ b/src/askp.lisp
@@ -32,8 +32,6 @@
 
 (macsyma-module askp)
 
-;;(declare-top (special integer-info))
-
 (defmfun $askinteger (x &optional (mode '$integer))
   (if (member mode '($even $odd $integer) :test #'eq)
       (ask-integer x mode)
diff --git a/src/globals.lisp b/src/globals.lisp
index 3869a8943..f6b139c04 100644
--- a/src/globals.lisp
+++ b/src/globals.lisp
@@ -1930,5 +1930,5 @@
   for any symbol.")
 
 (defvar *integer-info* nil
-  "If LIMITP is non-null ask-integer conses its assumptions onto this
+  "If LIMITP is non-null ASK-INTEGER conses its assumptions onto this
   list.")
diff --git a/src/limit.lisp b/src/limit.lisp
index c4e9bb1b8..2810ec352 100644
--- a/src/limit.lisp
+++ b/src/limit.lisp
@@ -32,7 +32,7 @@
 		      taylored logcombed
 		      $exponentialize lhp? lhcount
 		      loginprod? a context limit-assumptions
-		      limit-top #+nil old-integer-info))
+		      limit-top))
 
 (defconstant +behavior-count+ 4)
 (defvar *behavior-count-now*)
@@ -125,8 +125,7 @@
 	($%emode t) 
 	($%e_to_numlog nil)
 	(limit-top t))
-    (declare (special limit-assumptions #+nil old-integer-info
-		      limit-top))
+    (declare (special limit-assumptions limit-top))
     (unless limitp
       (setq *old-integer-info* *integer-info*)
       (setq *integer-info* ()))
-- 
2.11.4.GIT