From b8e3bc6aa0ad181b20446823d454776fe03fcf4b Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 22 Mar 2016 10:23:39 -0400
Subject: fix bug in type definitions in abi.ml

---
 lisc/tools/abi.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'lisc')

diff --git a/lisc/tools/abi.ml b/lisc/tools/abi.ml
index 2257aa2..301e160 100644
--- a/lisc/tools/abi.ml
+++ b/lisc/tools/abi.ml
@@ -396,7 +396,11 @@ module OutIL = struct
   let typedef oc name =
     let rec f: type a. a sty -> unit = function
       | Field (b, s) ->
-        fprintf oc "%s" (btype b);
+        fprintf oc "%s" begin
+          if AB b = AB Char  then "b" else
+          if AB b = AB Short then "h" else
+          btype b
+        end;
         if not (styempty s) then
           fprintf oc ", ";
         f s;
-- 
cgit 1.4.1