Paco: remove trailing blanks

acl2 · Jan 6, 2017 · d667a75 · d667a75
1 parent 7514e95
commit d667a75
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/books/projects/paco/books/proveall.lsp b/books/projects/paco/books/proveall.lsp
@@ -178,7 +178,7 @@
 
 (dthm idempotent-isort
       (equal (isort (isort x)) (isort x)))
-        
+
 (defun del (x lst)
   (cond ((atom lst) nil)
         ((equal x (car lst)) (cdr lst))

diff --git a/books/projects/paco/database.lisp b/books/projects/paco/database.lisp
@@ -322,7 +322,7 @@
                                val))
 
                        (fn-numes-trip
-                       
+
 
 ; If you change the layout of the FN-NUMES value below, change
 ; fn-nume!

diff --git a/books/projects/paco/rewrite.lisp b/books/projects/paco/rewrite.lisp
@@ -913,7 +913,7 @@
                            (disable assume-true-false
                                     type-set))
                           ("Subgoal 27" :do-not '(preprocess)
-                           :by rewrite-clique-speedup-5) 
+                           :by rewrite-clique-speedup-5)
                           ("Subgoal 26" :do-not '(preprocess)
                            :by rewrite-clique-speedup-4)
 ;                         ("Subgoal 17" :do-not '(preprocess)

diff --git a/books/projects/paco/utilities.acl2 b/books/projects/paco/utilities.acl2
@@ -4,7 +4,7 @@
 
 (defpkg "PACO"
   '(
-    
+
 ; ACL2 primitives:
 
     ACL2-NUMBERP BAD-ATOM BAD-ATOM<=
@@ -34,7 +34,7 @@
 
     floor ceiling truncate round mod rem evenp oddp zerop
     plusp minusp min max abs signum lognot expt binary-append
-                     
+
     nfix e0-ordinalp e0-ord-<
 
     CHAR< CHAR> CHAR<= CHAR>= STRING< STRING> STRING<=
@@ -169,6 +169,6 @@
     msg
 
     ))
-    
+
 (set-verify-guards-eagerness 0)
 (certify-book "utilities" ? t)