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,