Merge pull request #2804 from dnmfarrell/line-count-off-by-one

Line numbers start at 1
2025-02-12 23:23:44 -08:00
parent 35c1880937 f509d3d66f
commit c77ea48fbd
3 changed files with 6 additions and 6 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -210,7 +210,8 @@ load_loop(Stream, Evacuable) :-
       '$conclude_load'(Evacuable)
    ;  var(Term) ->
       instantiation_error(load/1)
-    ;  warn_about_singletons(Singletons, LinesRead),
+    ;  LineNum is LinesRead + 1,
+       warn_about_singletons(Singletons, LineNum),
       compile_term(Term, Evacuable),
       load_loop(Stream, Evacuable)
    ).