untabify

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 868ac277bfa0db12e453aa9da5d44dd384f1ba93..15c7837b759f439e54fe0c2ef5cf31d1aa3a1e97 100644 (file)
--- 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,