Unexpected TAB character. TLAPS does not handle TAB characters in source

files.
tlaplus · Feb 12, 2020 · 4a1032a · 4a1032a
1 parent 5b2f3c8
commit 4a1032a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/modules/SequencesExt.tla b/modules/SequencesExt.tla
@@ -113,7 +113,7 @@ Last(s) ==
   s[Len(s)]
 
 -----------------------------------------------------------------------------
-	
+
 IsPrefix(s, t) ==
   (**************************************************************************)
   (* TRUE iff the sequence s is a prefix of the sequence t, s.t.            *)

diff --git a/modules/TLCExt.tla b/modules/TLCExt.tla
@@ -23,7 +23,7 @@ AssertError(err, exp) ==
     LET FailsEval(e) == CHOOSE b \in BOOLEAN : TRUE \* Expression failed to evaluate. 
         TLCError     == CHOOSE s \in STRING  : TRUE \* TLC error string.
     IN IF FailsEval(exp) THEN Assert(err = TLCError, TLCError) ELSE TRUE
-    	
+
 -----------------------------------------------------------------------------
 (* HERE BE DRAGONS! The operators below are experimental! *)