From: Markus Triska <triska@metalevel.at>
Date: Sun, 3 Sep 2023 19:57:51 +0000 (+0200)
Subject: untabify
X-Git-Tag: remove~117^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1257ba165fca5d2f9c4dde8296a0b43182943fbf;p=scryer-prolog.git

untabify
---

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,