X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel.mli;fp=lib%2Fkernel.mli;h=c9f13f286f08dae33374e3fda152720939306a49;hb=0ab39a448da6dd9bca3c2730f1221fad0718ac36;hp=ef00e875cca1252764ed791589af6ac86c74ddc7;hpb=9a4e42524fac9afd50fca18f2124f6df91716d4c;p=virt-mem.git

diff --git a/lib/kernel.mli b/lib/kernel.mli
index ef00e87..c9f13f2 100644
--- a/lib/kernel.mli
+++ b/lib/kernel.mli
@@ -5,3 +5,4 @@ type ('a, 'b) in_device;;
 type ('a, 'b) inet6_dev;;
 type ('a, 'b) in_ifaddr;;
 type ('a, 'b) inet6_ifaddr;;
+