From 396457abd80a81ee7ca22775c31c7ae5fcf64845 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 27 Apr 2011 14:48:01 +0200
Subject: [PATCH] Added assert() and exit() to pervasives.epi.

---
 lib/pervasives.epi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/pervasives.epi b/lib/pervasives.epi
index 9351f5f..65cb291 100644
--- a/lib/pervasives.epi
+++ b/lib/pervasives.epi
@@ -29,3 +29,6 @@ val fun (~-)(int) returns (int)
 val fun (~-.)(float) returns (float)
 val fun do_stuff(int) returns (int)
 val fun between(int;int) returns (int)
+
+val fun exit(bool) returns ()
+val fun assert(bool) returns ()
\ No newline at end of file