diff --git a/src/encoder/ofmc_thygen.sml b/src/encoder/ofmc_thygen.sml
index 32aee4a..5221a80 100644
--- a/src/encoder/ofmc_thygen.sml
+++ b/src/encoder/ofmc_thygen.sml
@@ -84,7 +84,7 @@ fun gen_header ofmcfp =
 	else filename (source_of ofmcfp) )
       ^"\"\n"
       ^" imports"^"\n"
-      ^"   ofmc"^"\n"
+      ^"   \"../src/ofmc\""^"\n"
       ^"begin"^"\n\n"
     end