From a21e1bb60f579baec910d4c3d8e8434501470b6d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 17 May 2019 16:42:48 +0200
Subject: Move the Discharge module into the kernel.

---
 kernel/kernel.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 59c1d5890f..238cbba425 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -48,4 +48,5 @@ Term_typing
 Subtyping
 Mod_typing
 Nativelibrary
+Discharge
 Safe_typing
-- 
cgit v1.2.3