fix ptr fct type

didoudiaz · Mar 29, 2013 · 14f24a1 · 14f24a1
1 parent 2559760
commit 14f24a1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/BipsFD/fd_bool_c.c b/src/BipsFD/fd_bool_c.c
@@ -106,7 +106,7 @@ static WamWord *sp;
 static WamWord vars_tbl[VARS_STACK_SIZE];
 static WamWord *vars_sp;
 
-static Bool (*func_tbl[NB_OF_OP + 2]) ();
+static Bool (*func_tbl[NB_OF_OP + 2]) (WamWord *exp, int result, WamWord *load_word);
 
 
 
@@ -1044,7 +1044,7 @@ Set_Not(WamWord *exp, int result, WamWord *load_word)
 
 
 /*-------------------------------------------------------------------------*
- * SET_EQUIV                                                               *
+ * SET_EQUIV                                                               *<
  *                                                                         *
  *-------------------------------------------------------------------------*/
 static Bool