From de61c7d77e49286622c4aebd56f2e87b0df93903 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sat, 5 Apr 2014 19:51:04 -0400
Subject: Had to split Nativelambda in two files because of Retroknowledge
 dependencies.

---
 kernel/nativecode.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/nativecode.ml')

diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index 511bb5f77e..c294345e8b 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -12,6 +12,7 @@ open Context
 open Declarations
 open Util
 open Nativevalues
+open Nativeinstr
 open Nativelambda
 open Pre_env
 
-- 
cgit v1.2.3