From d56beade63aa995461cad3e33d918738a9facff2 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 8 Dec 2017 17:00:01 +0100 Subject: Test for inline. Bug 22642 --- lib/JsonAST.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/JsonAST.ml b/lib/JsonAST.ml index f3dd2dc6..73cac31e 100644 --- a/lib/JsonAST.ml +++ b/lib/JsonAST.ml @@ -59,7 +59,7 @@ let pp_int_opt pp = function let pp_fundef pp_inst pp (name,fn) = let alignment = atom_alignof name - and inline = atom_is_inline name + and inline = atom_inline name = Inline and static = atom_is_static name and c_section,l_section,j_section = match (atom_sections name) with [a;b;c] -> a,b,c | _ -> assert false in pp_jobject_start pp; -- cgit