From ab1fd660db052741a3d9aed871251dc3dbee63ca Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 22 Feb 2019 14:24:25 +0100
Subject: Nicer error for bad primitive types (through type_errors etc)

---
 kernel/cPrimitives.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/cPrimitives.ml')

diff --git a/kernel/cPrimitives.ml b/kernel/cPrimitives.ml
index da5c4fb07b..fdc93cfa89 100644
--- a/kernel/cPrimitives.ml
+++ b/kernel/cPrimitives.ml
@@ -148,7 +148,7 @@ let prim_ind_to_string = function
   | PIT_cmp -> "cmp"
 
 let prim_type_to_string = function
-  | PT_int63 -> "int63"
+  | PT_int63 -> "int63_type"
 
 let op_or_type_to_string = function
   | OT_op op -> to_string op
-- 
cgit v1.2.3