Paco: fix name of the test file

acl2 · Jan 6, 2017 · ea532e3 · ea532e3
1 parent d667a75
commit ea532e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/books/projects/paco/paco.lisp b/books/projects/paco/paco.lisp
@@ -25,7 +25,7 @@ v27
 ; To test
 
 (ld  ;; newline to fool dependency scanner
- "books/proveall.lisp" :ld-pre-eval-print t)
+ "books/proveall.lsp" :ld-pre-eval-print t)
 
 ; ---------------------------------------------------------------------------
 ; To change the "PACO" package definition