From 52a2d00d0c3e118f0e3abfbac298f4c53f070a77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 13 Feb 2016 02:53:46 +0000
Subject: [PATCH] init stuff.

---
 C/c_interface.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/c_interface.c b/C/c_interface.c
index b745b1226..54c6843b3 100755
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -2357,7 +2357,7 @@ X_API Int YAP_Init(YAP_init_args *yap_init) {
   GLOBAL_argc = yap_init->Argc;
 #if BOOT_FROM_SAVED_STATE
   if (!yap_init->SavedState) {
-    yap_init->SavedState = YAP_STARTUP;
+    yap_init->SavedState = Yap_locateFile(YAP_STARTUP, LOCAL_FileNameBuf, sizeof(LOCAL_FileNameBuf)-1);
   }
 
 #else