From 9fd6e18d595c2516eac60626974baea81c23cbfb Mon Sep 17 00:00:00 2001
From: Nicolas Luck <nicolas@lucksus.eu>
Date: Sat, 22 Jul 2023 00:32:24 +0200
Subject: [PATCH] Dedupe machine results

---
 src/machine/lib_machine.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 1dfdd2b2..050c883b 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -1,3 +1,5 @@
+use std::collections::HashSet;
+
 use super::{Machine, MachineConfig, QueryResult, QueryResolution, QueryResolutionLine, Atom};
 
 impl Machine {
@@ -16,6 +18,14 @@ impl Machine {
         if output.starts_with("error(") {
             Err(output)
         } else {
+            // Remove duplicate lines
+            let output = output
+                .lines()
+                .collect::<HashSet<&str>>()
+                .iter()
+                .cloned()
+                .collect::<Vec<&str>>()
+                .join("\n");
             Ok(output
                 .split(";")
                 .map(|s| s.trim())
-- 
2.54.0