minor fix to trace formatting

diff --git a/src/Dyna/Backend/Python/post/trace.py b/src/Dyna/Backend/Python/post/trace.py
index 67be4cc1e3dc2f0f8a72aed9e300ccd002b3dd1c..e00797964713858852838692023a7b2220ee765c 100644 (file)
--- a/src/Dyna/Backend/Python/post/trace.py
+++ b/src/Dyna/Backend/Python/post/trace.py
@@ -58,13 +58,13 @@ def groupby(key, data):
 def dig(head, visited, tail, groups, interp):
 
     if head in tail:
-        return ['%s = %s' % (yellow % head, head.value)] \
+        return ['%s = %s' % (yellow % head, _repr(head.value))] \
             + ['|'] \
             + branch([[red % 'continue as before (cyclic structure, will continue forever)']]) \
             + ['']
 
     if head in visited:
-        return ['%s = %s' % (yellow % head, head.value)] \
+        return ['%s = %s' % (yellow % head, _repr(head.value))] \
             + ['|'] \
             + branch([[red % 'continue as before (shared structure)']]) \
             + ['']