diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-08 17:00:01 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-08 17:00:01 +0100 |
commit | d56beade63aa995461cad3e33d918738a9facff2 (patch) | |
tree | 11dbc838428d94830767358673a909da5ca65448 | |
parent | 35db979d7e723ba2ac5bef4629a15b4919d937d4 (diff) | |
download | compcert-d56beade63aa995461cad3e33d918738a9facff2.tar.gz compcert-d56beade63aa995461cad3e33d918738a9facff2.zip |
Test for inline. Bug 22642
-rw-r--r-- | lib/JsonAST.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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; |