diff --git a/packages/CLPBN/examples/mln.pfl b/packages/CLPBN/examples/mln.pfl index 4c0e473d8..ac892c112 100644 --- a/packages/CLPBN/examples/mln.pfl +++ b/packages/CLPBN/examples/mln.pfl @@ -1,8 +1,8 @@ :- use_module(library(mlns)). -mln_domain(a(domain)). -mln_domain(b(domain)). +mln_domain a(domain). +mln_domain b(domain). mln 10:(a(X) ; b(X)).