1 files changed, 4 insertions, 0 deletions
diff --git a/tools/standalone_miri/lex.cpp b/tools/standalone_miri/lex.cpp
index 48a9e0cd..7cfe1a78 100644
--- a/tools/standalone_miri/lex.cpp
+++ b/tools/standalone_miri/lex.cpp
@@ -390,6 +390,10 @@ void Lexer::advance()
             {
                 m_cur = Token { TokenClass::Symbol, "<<" };
             }
+            else if( ch == '=' )
+            {
+                m_cur = Token { TokenClass::Symbol, "<=" };
+            }
             else
             {
                 m_if.unget();