From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Thu, 20 Jun 2019 15:02:30 +0000 (+0200)
Subject: :fire: Update optimize folder
X-Git-Tag: nightly~2420
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=85574107f5b0f0590ae2ea2bac48b6fd7aa28551;p=gwion.git

:fire: Update optimize folder
---

diff --git a/opt/fold.c b/opt/fold.c
index 26633fba..8ceea72c 100644
--- a/opt/fold.c
+++ b/opt/fold.c
@@ -8,6 +8,7 @@
 #include "type.h"
 #include "optim.h"
 #include "constant.h"
+#include "traverse.h"
 #include "parse.h"
 
 ANN static void fold_exp(MemPool mp, const Exp_Binary* bin) {