From 6632739f853e42e5828fbf603f7a3089a00f33f7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 4 Mar 2019 15:16:18 +0100
Subject: Move the relative linking order of Inductive w.r.t. VM / native.

We need this file for the upcoming kernel representation change there.
---
 kernel/kernel.mllib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 5b2a7bd9c2..75fd70d923 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -31,6 +31,8 @@ Primred
 CClosure
 Relevanceops
 Reduction
+Type_errors
+Inductive
 Vmlambda
 Nativelambda
 Vmbytegen
@@ -40,9 +42,7 @@ Vmsymtable
 Vm
 Vconv
 Nativeconv
-Type_errors
 Modops
-Inductive
 Typeops
 InferCumulativity
 IndTyping
-- 
cgit v1.2.3