L-99: Rename from encode-direct-equal-encode-modified to encode-direct-equal-encode-modified.

1 files changed, 2 insertions, 2 deletions

diff --git a/L-99.lisp b/L-99.lisp
index b7e7ff8..26bb663 100644
--- a/L-99.lisp
+++ b/L-99.lisp
@@ -389,14 +389,14 @@
   (implies (posp n)
            (consp (repeat x n))))
 
-(defthm encode-direct-equal-encode-mofified-1
+(defthm encode-direct-equal-encode-modified-1
   (implies (and (atom-listp x)
                 (atom sym)
                 (natp n))
            (equal (encode-direct-1 x sym n)
                   (encode-modified-1 (encode-1 (pack-1 x (repeat sym n)))))))
 
-(defthm encode-direct-equal-encode-mofified
+(defthm encode-direct-equal-encode-modified
   (implies (atom-listp x)
            (equal (encode-direct x)
                   (encode-modified x))))