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.
---
 kernel/nativelambda.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index bfa3bf9418..156e4f834a 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -38,5 +38,5 @@ val compile_dynamic_int31 : bool -> prefix -> constructor -> lambda array ->
 val before_match_int31 : inductive -> bool -> prefix -> constructor -> lambda ->
 			 lambda
 
-val compile_prim : Primitives.t -> constant -> bool -> prefix -> lambda array ->
+val compile_prim : CPrimitives.t -> constant -> bool -> prefix -> lambda array ->
 		   lambda
-- 
cgit v1.2.3