From d2c32b048a2facb667e24962b1f8549315d3f777 Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Tue, 18 Mar 2014 01:35:08 -0700
Subject: [PATCH] fix bug in htif_fini, need to use vc_handle!

---
 csrc/vcs_main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/csrc/vcs_main.cc b/csrc/vcs_main.cc
index 9efcd6fb..cc9e4a06 100644
--- a/csrc/vcs_main.cc
+++ b/csrc/vcs_main.cc
@@ -17,11 +17,11 @@ static unsigned htif_bytes;
 static mm_t* mm;
 static const char* loadmem;
 
-void htif_fini(int code)
+void htif_fini(vc_handle failure)
 {
   delete htif;
   htif = NULL;
-  exit(code);
+  exit(vc_getScalar(failure));
 }
 
 int main(int argc, char** argv)