From 1257ba165fca5d2f9c4dde8296a0b43182943fbf Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 3 Sep 2023 21:57:51 +0200
Subject: [PATCH] untabify

---
 src/lib/clpb.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 868ac277..15c7837b 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -17,8 +17,8 @@
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 :- module(clpb, [op(300, fy, ~),
-		         op(500, yfx, #),
-		         sat/1,
+                 op(500, yfx, #),
+                 sat/1,
                  taut/2,
                  labeling/1,
                  sat_count/2,
-- 
2.54.0