From 1fa605fb72dd5fb28e1b5481c6dfe5ef68841cda Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 13 Sep 2015 21:59:38 +0200 Subject: [PATCH 1/1] bummer --- src/surf/surfxml_parse.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/surf/surfxml_parse.c b/src/surf/surfxml_parse.c index e7f1b457ca..306050c5d4 100644 --- a/src/surf/surfxml_parse.c +++ b/src/surf/surfxml_parse.c @@ -1029,6 +1029,7 @@ void surf_parse_open(const char *file) if (!surf_parsed_filename_stack) surf_parsed_filename_stack = xbt_dynar_new(sizeof(char *), &xbt_free_ref); + surf_parsed_filename = xbt_strdup(file); char *dir = xbt_dirname(file); xbt_dynar_push(surf_path, &dir); -- 2.20.1