added ID_null for JSON

kroening · kroening · commit 686eebed54f7 · 2015-02-04T19:59:07.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5162 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/util/irep_ids.txt b/src/util/irep_ids.txt
@@ -210,6 +210,7 @@ output_register
 inout
 nondet
 NULL
+null
 nullptr
 c_enum
 enum

-Original file line number
+Diff line change
 inout
 nondet
 NULL
 +null
 nullptr
 c_enum
 enum