Remove unneeded empty line

mthom · Jun 29, 2024 · 87154ed · 87154ed
1 parent b258050
commit 87154ed
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/reif.pl b/src/lib/reif.pl
@@ -170,7 +170,6 @@
     ;  throw(error(instantiation_error, _))
     ).
 
-
 =(X, Y, T) :-
     (  X == Y -> T = true
     ;  X \= Y -> T = false