diff options
Diffstat (limited to 'twelf/twelf-old.el')
-rw-r--r-- | twelf/twelf-old.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/twelf/twelf-old.el b/twelf/twelf-old.el index ac5273ad..42d87d20 100644 --- a/twelf/twelf-old.el +++ b/twelf/twelf-old.el @@ -938,7 +938,7 @@ read a file name from the minibuffer." (defun looked-at-nth-int (n) (let ((str (looked-at-nth n))) (if (null str) nil - (string-to-int str)))) + (string-to-number str)))) (defun twelf-error-parser (pt) "Standard parser for Twelf errors. @@ -1469,9 +1469,9 @@ server buffer." (setq default-directory expanded-dir) (pwd))) ((string-match "^set\\s +chatter\\s +\\([0-9]\\)+" input) - (setq twelf-chatter (string-to-int (looked-at-string input 1)))) + (setq twelf-chatter (string-to-number (looked-at-string input 1)))) ;;((string-match "^set\\s +trace\\s +\\([0-9]\\)+" input) - ;; (setq twelf-trace (string-to-int (looked-at-string input 1)))) + ;; (setq twelf-trace (string-to-number (looked-at-string input 1)))) ((string-match "^set\\s-+\\(\\S-+\\)\\s-+\\(\\w+\\)" input) (if (assoc (looked-at-string input 1) *twelf-track-parms*) (set (cdr (assoc (looked-at-string input 1) *twelf-track-parms*)) @@ -1865,7 +1865,7 @@ Starts a Twelf servers if necessary." (let ((input (read-string "Limit (* or nat): "))) (if (equal input "*") input - (let ((n (string-to-int input))) + (let ((n (string-to-number input))) (if (and (integerp n) (> n 0)) n (error "Number must be non-negative integer")))))) |