diff options
Diffstat (limited to 'kernel/retroknowledge.mli')
| -rw-r--r-- | kernel/retroknowledge.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli index 02d961d893..6b2c74e9df 100644 --- a/kernel/retroknowledge.mli +++ b/kernel/retroknowledge.mli @@ -46,7 +46,7 @@ type int31_field = | Int31Lxor type field = - | KInt31 of string*int31_field + | KInt31 of int31_field (** This type represent an atomic action of the retroknowledge. It is stored in the compiled libraries |