tweak bimetatrans_tests.pl

diff --git a/src/examples/bimetatrans/bimetatrans_tests.pl b/src/examples/bimetatrans/bimetatrans_tests.pl
index 8675dcde9064146c9c2edb8ff6dce30d159fab64..eab6f29478e4e3028df524e600baba30fe470217 100644 (file)
--- a/src/examples/bimetatrans/bimetatrans_tests.pl
+++ b/src/examples/bimetatrans/bimetatrans_tests.pl
@@ -1,6 +1,6 @@
 :- module(bimetatran_tests, [test_bimetatrans/0]).
 
-:- use_module('bimetatrans').
+:- use_module(bimetatrans).
 
 :- use_module(library(dcgs)).
 :- use_module(library(iso_ext)).