git » fp-git.git » commit e5c1025

diff --git a/FP/src/include/kernel.h b/FP/src/include/kernel.h
index 6f0b44d..28d2dce 100644
--- a/FP/src/include/kernel.h
+++ b/FP/src/include/kernel.h
@@ -43,8 +43,8 @@ resources.h: Princed Resources : Resource Handler headers
 #define hasFlag(a) (optionflag&(a))
 #define setFlag(a) optionflag|=(a)
 
-int kernel(int optionflag,int levels);
-/* levels=-1 is default
+int kernel(int optionflag,int level);
+/* level=-1 is default
  * levels from 0 to n is the level number
  *  
  * optionflag may be read using hasFlag(name_flag); Note that the variable must be called optionflag
diff --git a/FP/src/ker/kernel.c b/FP/src/ker/kernel.c
index e578834..8280135 100644
--- a/FP/src/ker/kernel.c
+++ b/FP/src/ker/kernel.c
@@ -32,7 +32,7 @@ resources.h: Princed Resources : Resource Handler headers
 
 #include "kernel.h"
 
-int kernel(int optionflag,int levels) {
+int kernel(int optionflag,int level) {
 /* levels=-1 is default
  * levels from 0 to n is the level number
  *