From 07335670c4339f9c4ae620088d9352be67a77714 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sat, 12 Aug 2017 17:42:09 +0200
Subject: Moving file primitive.ml to cPrimitive.ml to avoid conflict with
 OCaml.

Indeed OCaml has a similar file and this conflicts, at least in
debugger.
---
 kernel/kernel.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 994634854..917e4f6f1 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -17,7 +17,7 @@ Opaqueproof
 Declarations
 Entries
 Nativevalues
-Primitives
+CPrimitives
 Declareops
 Retroknowledge
 Conv_oracle
-- 
cgit v1.2.3