From c028fc027edab855f486486bc91aa9886e2a5018 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 2 Aug 2016 13:35:30 +0100
Subject: [PATCH] Updated path to ofmc.thy.

---
 src/encoder/ofmc_thygen.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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