X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=fragment.output%2Fbtdemo;h=e0a5ff3ee4eafad4299b19f3456ecf0640c198b2;hb=72304627b100c7e3ff434c7a9d2e057b861fb776;hp=45a087d28bdb3dc0ab77aa9f856a0afb93062889;hpb=3cc9323ecb560e91954fc7d3f721f7c498c616cf;p=scpubgit%2FDX.git

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 45a087d..e0a5ff3 100644
--- 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