Updated path to ofmc.thy.

2016-08-02 13:35:30 +01:00 · 2016-08-02 13:35:30 +01:00 · c028fc027e
parent 805e67fefb
commit c028fc027e
1 changed files with 1 additions and 1 deletions
--- 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