untabify

2023-09-03 21:57:51 +02:00
parent 1c33d2a2ed
commit 1257ba165f
1 changed files with 2 additions and 2 deletions
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -17,8 +17,8 @@
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 :- module(clpb, [op(300, fy, ~),
-		         op(500, yfx, #),
+                 op(500, yfx, #),
-		         sat/1,
+                 sat/1,
                 taut/2,
                 labeling/1,
                 sat_count/2,