Fix wrong calls of fn-nume

First argument of fn-nume is a keyword, the second is a function names. There were two calls where these arguments were swapped.
acl2 · Jan 6, 2017 · e902537 · e902537
1 parent fe40f69
commit e902537
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/books/projects/paco/foundations.lisp b/books/projects/paco/foundations.lisp
@@ -1245,7 +1245,7 @@
    ((and (all-quoteps args)
          (or (flambdap fn)
              (enabled-numep
-              (fn-nume fn :EXECUTABLE-COUNTERPART wrld) ens)))
+              (fn-nume :EXECUTABLE-COUNTERPART fn wrld) ens)))
     (mv-let (erp val)
             (apply fn (strip-cadrs args) wrld)
             (cond (erp (mv nil (cons-term fn args)))

diff --git a/books/projects/paco/output-module.lisp b/books/projects/paco/output-module.lisp
@@ -430,7 +430,7 @@
 
 (defmacro <scons-term-id> (body)
   `(with-nume-tracking (hitp val) ,body
-                       (fn-nume fn :executable-counterpart wrld)
+                       (fn-nume :executable-counterpart fn wrld)
                        t))
 
 (defmacro <type-set-id> (body)