remove extraneous [ from dif.pl

This commit is contained in:
Mark Thom
2019-02-14 01:13:55 -07:00
parent cd5549ee5b
commit 2af6a00ff2

View File

@@ -1,4 +1,4 @@
[:- module(dif, [dif/2]).
:- module(dif, [dif/2]).
:- use_module(library(atts)).
:- use_module(library(control), [(\=)/2]).