tildetown
/
rodo
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fixed some weird duplicate in code

main
m455 2020-04-14 15:07:16 -04:00
parent 84cb77ce95
commit 1dc8ab5774
No known key found for this signature in database
GPG Key ID: 7FE7101DC135DE1F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/args.rkt
View File

@ -38,7 +38,7 @@
;; if two args, and the remove command exists in one of those args ;; if two args, and the remove command exists in one of those args
[(and (>= args-length 2) [(and (>= args-length 2)
[(and (equal? args-length 2) (equal? args-length 2)
(is-member? config:remove-commands) (is-member? config:remove-commands)
(real? (string->number (list-ref args 1))) (real? (string->number (list-ref args 1)))
(or (positive? (string->number (list-ref args 1))) (or (positive? (string->number (list-ref args 1)))