diff --git a/src/examples/bimetatrans/bimetatrans_tests.pl b/src/examples/bimetatrans/bimetatrans_tests.pl
index 8675dcde..eab6f294 100644
--- 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)).