Index: source/Host/common/Editline.cpp
===================================================================
--- source/Host/common/Editline.cpp
+++ source/Host/common/Editline.cpp
@@ -637,7 +637,11 @@
       }
     }
   }
-  MoveCursor(CursorLocation::EditingCursor, CursorLocation::BlockEnd);
+  // If the only line in m_input_lines was the empty string, m_input_lines
+  // will be empty.
+  if (!m_input_lines.empty()) {
+    MoveCursor(CursorLocation::EditingCursor, CursorLocation::BlockEnd);
+  }
   fprintf(m_output_file, "\n");
   m_editor_status = EditorStatus::Complete;
   return CC_NEWLINE;