From 8bc722097bda6ea68782b8def6d8a364afebaadb Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Tue, 26 Mar 2002 15:00:16 +0000
Subject: [PATCH] A

---
 alliance/src/fsp/src/fsp_comp.c  | 12 ++++++------
 alliance/src/fsp/src/fsp_debug.c |  4 ++--
 alliance/src/fsp/src/fsp_main.c  | 12 ++++++------
 alliance/src/fsp/src/fsp_proof.c | 10 +++++-----
 4 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/alliance/src/fsp/src/fsp_comp.c b/alliance/src/fsp/src/fsp_comp.c
index f49603d1..64f9a0a2 100644
--- a/alliance/src/fsp/src/fsp_comp.c
+++ b/alliance/src/fsp/src/fsp_comp.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/fsp/src/fsp_debug.c b/alliance/src/fsp/src/fsp_debug.c
index 8bd70e77..2c20df4b 100644
--- a/alliance/src/fsp/src/fsp_debug.c
+++ b/alliance/src/fsp/src/fsp_debug.c
@@ -44,8 +44,8 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 # include "fsp_debug.h"
 
 /*------------------------------------------------------------\
diff --git a/alliance/src/fsp/src/fsp_main.c b/alliance/src/fsp/src/fsp_main.c
index 7487557a..8f3dc08e 100644
--- a/alliance/src/fsp/src/fsp_main.c
+++ b/alliance/src/fsp/src/fsp_main.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/fsp/src/fsp_proof.c b/alliance/src/fsp/src/fsp_proof.c
index 87aa6f84..7ca33442 100644
--- a/alliance/src/fsp/src/fsp_proof.c
+++ b/alliance/src/fsp/src/fsp_proof.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>