From 1e4d25e94945e9866ef64d1f99b26ebb1a0efe0e Mon Sep 17 00:00:00 2001 From: Dmitry Simonenko Date: Wed, 24 May 2017 15:20:56 +0300 Subject: [PATCH] odissey: init/free machinarium --- src/odissey.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/odissey.c b/src/odissey.c index f5183ce9..b0e4294d 100644 --- a/src/odissey.c +++ b/src/odissey.c @@ -24,10 +24,11 @@ int main(int argc, char *argv[]) { + machinarium_init(); od_t odissey; od_init(&odissey); int rc = od_main(&odissey, argc, argv); od_free(&odissey); + machinarium_free(); return rc; - return 0; }