From b6a09c244ca3752483f1a1ae38663302730b73dc Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Tue, 26 Mar 2002 15:07:31 +0000
Subject: [PATCH] *** empty log message ***

---
 alliance/src/fmi/src/fmi_optim.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/alliance/src/fmi/src/fmi_optim.c b/alliance/src/fmi/src/fmi_optim.c
index cf465615..799aa7c8 100644
--- a/alliance/src/fmi/src/fmi_optim.c
+++ b/alliance/src/fmi/src/fmi_optim.c
@@ -21,7 +21,6 @@
 # include <ctype.h>
 
 # include "mut.h"
-# include LOG_H
 # include "aut.h"
 # include "abl.h"
 # include "bdd.h"