summaryrefslogtreecommitdiff
path: root/src/mir/main_bindings.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/mir/main_bindings.hpp')
-rw-r--r--src/mir/main_bindings.hpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mir/main_bindings.hpp b/src/mir/main_bindings.hpp
index dc9a61a9..0d6074cb 100644
--- a/src/mir/main_bindings.hpp
+++ b/src/mir/main_bindings.hpp
@@ -15,6 +15,7 @@ class Crate;
extern void HIR_GenerateMIR(::HIR::Crate& crate);
extern void MIR_Dump(::std::ostream& sink, const ::HIR::Crate& crate);
extern void MIR_CheckCrate(/*const*/ ::HIR::Crate& crate);
+extern void MIR_CheckCrate_Full(/*const*/ ::HIR::Crate& crate);
extern void MIR_CleanupCrate(::HIR::Crate& crate);
extern void MIR_OptimiseCrate(::HIR::Crate& crate);