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.
---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index c56982d99f..1e2764997c 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -62,6 +62,7 @@ Cbytecodes
 Copcodes
 Cemitcodes
 Nativevalues
+Primitives
 Nativeinstr
 Future
 Opaqueproof
-- 
cgit v1.2.3