address problems brought up in review

This commit is contained in:
Skgland
2021-03-11 16:16:31 +01:00
parent 8f41603101
commit 49dcd9bb4a
2 changed files with 3 additions and 3 deletions

View File

@@ -1,6 +1,6 @@
:- use_module(library(debug)).
:- use_module(library(format)).
missing_dot :- write('Not "." at the end of the line'), nl
missing_dot :- write('No "." at the end of the line'), nl
:- initialize(missing_dot).
:- initialization(missing_dot).