From bfb5d92e6a3a63df1858fbb0542bd0aaf6c24a0c Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Thu, 7 May 2015 21:26:59 -0400 Subject: [PATCH] Fix compile warning --- runtime.h | 1 + 1 file changed, 1 insertion(+) diff --git a/runtime.h b/runtime.h index a0d0d87c..72414cab 100644 --- a/runtime.h +++ b/runtime.h @@ -93,6 +93,7 @@ string_type Cyc_string_append_va_list(int argc, object str1, va_list ap); integer_type Cyc_char2integer(object chr); object Cyc_integer2char(object n); void my_exit(closure) never_returns; +object __halt(object obj); port_type Cyc_io_current_input_port(); port_type Cyc_io_open_input_file(object str); object Cyc_io_close_input_port(object port);