diff --git a/C/globals.c b/C/globals.c
index 3255a80db..bd3b35820 100644
--- a/C/globals.c
+++ b/C/globals.c
@@ -1174,7 +1174,7 @@ p_nb_linkval(void)
   return TRUE;
 }
 
-int
+Term
 Yap_SetGlobalVal(Atom at, Term t0)
 {
   Term to;
diff --git a/H/Yapproto.h b/H/Yapproto.h
index 5882a592e..21914c2db 100644
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -188,7 +188,7 @@ void	STD_PROTO(Yap_inform_profiler_of_clause,(struct yami *,struct yami *,struct
 /* globals.c */
 Term	STD_PROTO(Yap_NewArena,(UInt,CELL *));
 void	STD_PROTO(Yap_InitGlobals,(void));
-int	STD_PROTO(Yap_SetGlobalVal, (Atom, Term));
+Term	STD_PROTO(Yap_SetGlobalVal, (Atom, Term));
 void	STD_PROTO(Yap_AllocateDefaultArena, (Int, Int));
 
 /* grow.c */