loading numberlist library NOT, refs #8

mlliarm · mlliarm · commit f04e78ed5875 · 2020-11-11T08:01:01.000+01:00
diff --git a/loader.lgt b/loader.lgt
@@ -1,3 +1,5 @@
+:- use_module(library(numberlist), []).
+
 :- initialization(
 	logtalk_load([
 		interval_arithmeticp,

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+:- use_module(library(numberlist), []).`
	`2`	`+`
`1`	`3`	`:- initialization(`
`2`	`4`	`logtalk_load([`
`3`	`5`	`interval_arithmeticp,`