From 07335670c4339f9c4ae620088d9352be67a77714 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
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.
---
 API/API.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'API/API.ml')

diff --git a/API/API.ml b/API/API.ml
index c952e123d4..1d7a4a4f46 100644
--- a/API/API.ml
+++ b/API/API.ml
@@ -43,7 +43,7 @@ module Cbytecodes = Cbytecodes
 (* module Copcodes *)
 module Cemitcodes = Cemitcodes
 (* module Nativevalues *)
-(* module Primitives *)
+(* module CPrimitives *)
 module Opaqueproof = Opaqueproof
 module Declareops = Declareops
 module Retroknowledge = Retroknowledge
-- 
cgit v1.2.3