From d4a9bf3044ea5ca1896d92b37829f952e5f6d18c Mon Sep 17 00:00:00 2001 From: Saoirse Aronson Date: Thu, 9 Apr 2026 13:50:47 +0200 Subject: [PATCH 1/2] Comment out println in rule application Perhaps this should be raised as an error of some kind, but it certainly shouldn't be printed to stdout. --- biscuit-auth/src/datalog/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/biscuit-auth/src/datalog/mod.rs b/biscuit-auth/src/datalog/mod.rs index 8849a785..2332ebb7 100644 --- a/biscuit-auth/src/datalog/mod.rs +++ b/biscuit-auth/src/datalog/mod.rs @@ -175,7 +175,7 @@ impl Rule { Term::Variable(i) => match h.get(i) { Some(val) => p.terms[index] = val.clone(), None => { - println!("error: variables that appear in the head should appear in the body and constraints as well"); + //println!("error: variables that appear in the head should appear in the body and constraints as well"); return None; } }, From a5121bc398053a22a3799f4dd55688d3d5ee40b2 Mon Sep 17 00:00:00 2001 From: saoirse-a Date: Fri, 17 Apr 2026 13:52:36 +0200 Subject: [PATCH 2/2] Update biscuit-auth/src/datalog/mod.rs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Clément Delafargue Signed-off-by: saoirse-a --- biscuit-auth/src/datalog/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/biscuit-auth/src/datalog/mod.rs b/biscuit-auth/src/datalog/mod.rs index 2332ebb7..e3edd466 100644 --- a/biscuit-auth/src/datalog/mod.rs +++ b/biscuit-auth/src/datalog/mod.rs @@ -175,7 +175,7 @@ impl Rule { Term::Variable(i) => match h.get(i) { Some(val) => p.terms[index] = val.clone(), None => { - //println!("error: variables that appear in the head should appear in the body and constraints as well"); + // head variables should be bound in the body predicates return None; } },