From 2e8c02d5644e8e8e446ab6dfd832322276e44f89 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 7 Apr 2014 15:45:33 -0400
Subject: Machine arithmetic operations for native compiler.

This completes the port of the native compiler to retroknowledge.
However, some testing and optimizations are still to be done.
---
 kernel/kernel.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 3267b7e75e..0d0adf9a7d 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -13,6 +13,7 @@ Cbytecodes
 Copcodes
 Cemitcodes
 Nativevalues
+Primitives
 Nativeinstr
 Opaqueproof
 Declareops
-- 
cgit v1.2.3