G

alliance/src/boom/src/boom_abl.c

@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_anneal.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_aux.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_auxinit.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_bdd.c

@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_burgun.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_check.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_cost.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_dc.c

@@ -40,13 +40,13 @@
 |                                                             |
 \------------------------------------------------------------*/
                                                                                     
-#include MUT_H
-#include AUT_H
-#include ABL_H
-#include BDD_H
-#include ABE_H
-#include ABV_H
-#include ABT_H
+#include "mut.h"
+#include "aut.h"
+#include "abl.h"
+#include "bdd.h"
+#include "abe.h"
+#include "abv.h"
+#include "abt.h"
  
 #include <stdio.h>
 #include <stdlib.h>

alliance/src/boom/src/boom_debug.c

@@ -45,13 +45,13 @@
 # include <stdio.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include "boom_error.h"
 # include "boom_debug.h"

alliance/src/boom/src/boom_drive.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_error.c

@@ -44,8 +44,8 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 # include "boom_error.h"
 
 /*------------------------------------------------------------\

alliance/src/boom/src/boom_gradient.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_hash.c

@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_logic.c

@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_main.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_one.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_optim.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_order.c

@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include "boom_error.h"

alliance/src/boom/src/boom_param.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_parse.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_post.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_procrast.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_random.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_shared.c

@@ -46,13 +46,13 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include "boom_error.h"
 # include "boom_shared.h"

alliance/src/boom/src/boom_simple.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_simul.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_top.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/boom/src/boom_window.c

@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/k2f/src/k2f_error.c

@@ -44,8 +44,8 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 # include "k2f_error.h"
 
 /*------------------------------------------------------------\

alliance/src/k2f/src/k2f_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>

alliance/src/syf/src/fbh_parse.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>

alliance/src/syf/src/kis_parse.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>

alliance/src/syf/src/syf_asp.c

@@ -43,11 +43,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>

alliance/src/syf/src/syf_bdd.c

@@ -41,12 +41,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_comp.c

@@ -43,13 +43,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
+# include "ftl.h"
 
 
 # include <stdio.h>

alliance/src/syf/src/syf_cost.c

@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_dc.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>

alliance/src/syf/src/syf_encod.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>

alliance/src/syf/src/syf_env.c

@@ -41,12 +41,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_error.c

@@ -41,8 +41,8 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/syf/src/syf_fsm.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>

alliance/src/syf/src/syf_fsm2fbh.c

@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_jedi.c

@@ -47,11 +47,11 @@
 # include <stdlib.h>
 # include <string.h>
 
-# 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 "syf_fsm.h"
 # include "syf_tools.h"

alliance/src/syf/src/syf_main.c

@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_must.c

@@ -47,11 +47,11 @@
 # include <stdlib.h>
 # include <string.h>
 
-# 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 "syf_env.h"
 # include "syf_fsm.h"

alliance/src/syf/src/syf_onehot.c

@@ -43,11 +43,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 <memory.h>

alliance/src/syf/src/syf_random.c

@@ -48,11 +48,11 @@
 # include <unistd.h>
 # include <string.h>
 
-# 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 "syf_fsm.h"
 # include "syf_error.h"

alliance/src/syf/src/syf_simp.c

@@ -43,12 +43,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/syf/src/syf_synth.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>

alliance/src/syf/src/syf_tools.c

@@ -43,11 +43,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>

alliance/src/syf/src/syf_user.c

@@ -47,11 +47,11 @@
 # include <string.h>
 # include <ctype.h>
 
-# 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 "syf_fsm.h"
 # include "syf_error.h"

alliance/src/syf/src/syf_verify.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>