diff --git a/manticore/core/workspace.py b/manticore/core/workspace.py
index badcb3a..a771082 100644
--- a/manticore/core/workspace.py
+++ b/manticore/core/workspace.py
@@ -518,7 +518,7 @@ class ManticoreOutput(object):
             if 'trace' not in state.context:
                 return
             for entry in state.context['trace']:
-                f.write('0x{:x}'.format(entry))
+                f.write('0x{:x}\n'.format(entry))
 
     def save_constraints(self, state):
         # XXX(yan): We want to conditionally enable this check