diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 11:47:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 11:47:45 +0000 |
commit | 9bc3f266832ec50c30802f60e4af5ef88aeadc69 (patch) | |
tree | e66da819d249c050d39ea219e724cd15a11aef52 /twelf | |
parent | 95e2a29f51fb86ee958a261ac195d7e8c96d1741 (diff) |
Emacs compatibility/API updates: string-to-int -> string-to-number
Diffstat (limited to 'twelf')
-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")))))) |