diff options
Diffstat (limited to 'vikalpa.scm')
| -rw-r--r-- | vikalpa.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/vikalpa.scm b/vikalpa.scm index eadd2a0..290b90d 100644 --- a/vikalpa.scm +++ b/vikalpa.scm @@ -741,10 +741,10 @@ (define (command-option? x) (and (pair? x) (case (car x) - ((set) (and (list? x) - (= 3 (length x)) - (variable? (list-ref x 1)) - (expression? (list-ref x 2)))) + ((=) (and (list? x) + (= 3 (length x)) + (variable? (list-ref x 1)) + (expression? (list-ref x 2)))) (else #f)))) (define (command-name x) @@ -815,7 +815,7 @@ (receive (env) (parse-options/theorem (cdr ops) fail) (case (caar ops) - ((set) + ((=) (let ((op (car ops))) (cons (cons (list-ref op 1) (list-ref op 2)) @@ -1371,7 +1371,7 @@ (('rewrite _ _ . command-ops) (for-each (lambda (x) (match x - (('set var expr) + (('= var expr) (validate-expression sys `(define-proof ,(get-name d)) (get-variables d) |