Use PatioInt for Patio exception values

1 files changed, 4 insertions, 2 deletions

diff --git a/runtime/src/patio/exceptions.c b/runtime/src/patio/exceptions.c
index deaaa25b..e465b4f6 100644
--- a/runtime/src/patio/exceptions.c
+++ b/runtime/src/patio/exceptions.c
@@ -4,10 +4,12 @@
 #include <stdint.h>
 #include <stdlib.h>
 
-uint32_t patio__runtime__exceptions_exception_value;
+#include "./patio.h"
+
+PatioInt patio__runtime__exceptions_exception_value;
 jmp_buf* patio__runtime__exceptions_exception_handler = 0;
 
-void patio__runtime__exceptions_throw(uint32_t exception_tag, uint64_t value) {
+void patio__runtime__exceptions_throw(uint32_t exception_tag, PatioInt value) {
     if (patio__runtime__exceptions_exception_handler == 0) {
         exit(1);
     }