1 files changed, 1 insertions, 0 deletions
diff --git a/core/libdeno.rs b/core/libdeno.rs
index 7b6f07a9b..72003a372 100755
--- a/core/libdeno.rs
+++ b/core/libdeno.rs
@@ -155,6 +155,7 @@ extern "C" {
     js_filename: *const c_char,
     js_source: *const c_char,
   );
+  pub fn deno_terminate_execution(i: *const isolate);
 
   // Modules