From 0c09447d002a20db6a741b81e7870720da5bf155 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 30 Sep 2010 20:53:07 +0100 Subject: [PATCH] fix broken tab --- misc/ATOMS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/ATOMS b/misc/ATOMS index 010272636..081d712ae 100644 --- a/misc/ATOMS +++ b/misc/ATOMS @@ -87,7 +87,7 @@ A DollarUndef F "$undef" A DomainError N "domain_error" A E N "e" A EOFBeforeEOT N "end_of_file_found_before_end_of_term" - A EQ N "=" +A EQ N "=" A EmptyAtom N "" A EndOfStream N "$end_of_stream" A Eof N "end_of_file"