Commit 0679cbdf authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

C extraction: support for struct extraction

parent 44e574a3
......@@ -566,7 +566,7 @@ module mach.c.C
syntax val sfree "(void)(%1)"
(* syntax val is_null "(%1) == NULL" *)
syntax val is_not_null "(%1) != NULL"
syntax val is_not_null "%1"
syntax val null "NULL"
syntax val incr "%1 + %2"
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment