From c2e3b47d29871aca7338760f09a290c99cd78f24 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 30 Jan 2021 23:37:23 -0700
Subject: [PATCH] properly thread functors whose first subterm is a variable in
 thread_goals/4

---
 src/loader.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/loader.pl b/src/loader.pl
index 9360e260..f8f766f7 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -421,7 +421,7 @@ thread_goals(Goals0, Goals1, Functor) :-
 
 thread_goals(Goals0, Goals1, Hole, Functor) :-
     (  var(Goals0) ->
-       Goals0 = Goals1
+       Goals1 =.. [Functor, Goals0, Hole]
     ;  (  Goals0 = [G | Gs] ->
           (  Gs == [] ->
              Goals1 =.. [Functor, G, Hole]
-- 
2.54.0