From b4c6087cd0faf3d165ca5450f7462b9fbe98796f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 20 Jul 2020 11:55:35 +0200
Subject: Added error for redefined builtin.

We check in the initial environment if a function is already defined to
avoid redefinition of functions that are part of the builtin
environment.
---
 cparser/Env.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Env.mli')

diff --git a/cparser/Env.mli b/cparser/Env.mli
index 1baab68f..589a76c7 100644
--- a/cparser/Env.mli
+++ b/cparser/Env.mli
@@ -84,3 +84,4 @@ val initial: unit -> t
 val initial_identifiers: unit -> C.ident list
 val initial_declarations: unit -> C.globdecl list
 val set_builtins: C.builtins -> unit
+val is_builtin : string -> bool
-- 
cgit