use the correct trace format type for failure_dependencies

[scpubgit/DX.git] / fragment.output / btdemo

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 45a087d..e0a5ff3 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -321,11 +321,19 @@ backtrack {
     decision { for eq XValue 2 }
     non_relevant
     decision { for member_at Y ?YKey ?YValue }
-    failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+    failure_dependencies {
+        CONTENTS_OF 0.Y
+        TYPE_OF 0.YKey
+        CONTENTS_OF 0.YValue
+    }
     decision { for member_at X ?XKey ?XValue }
     non_relevant
     decision { for eq ?Y {{ d 1 e 2 f 3 }} }
-    failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+    failure_dependencies {
+        CONTENTS_OF 0.Y
+        TYPE_OF 0.YKey
+        CONTENTS_OF 0.YValue
+    }
     decision { for eq ?X {{ a 1 b 2 c 3 }} }
     non_relevant
     exhaustion