Changing "NULL-OBJECT" literal to use ID_null_object

JohnDumbell · JohnDumbell · commit be312c511536 · 2018-04-13T13:05:22.000+01:00
diff --git a/src/goto-programs/interpreter.cpp b/src/goto-programs/interpreter.cpp
@@ -862,7 +862,7 @@ void interpretert::build_memory_map()
 {
   // put in a dummy for NULL
   memory.resize(1);
-  inverse_memory_map[0]="NULL-OBJECT";
+  inverse_memory_map[0]=ID_null_object;
 
   num_dynamic_objects=0;
   dynamic_types.clear();

Original file line number	Diff line number	Diff line change
`@@ -862,7 +862,7 @@ void interpretert::build_memory_map()`
`862`	`862`	`{`
`863`	`863`	`// put in a dummy for NULL`
`864`	`864`	`memory.resize(1);`
`865`		`- inverse_memory_map[0]="NULL-OBJECT";`
	`865`	`+ inverse_memory_map[0]=ID_null_object;`
`866`	`866`
`867`	`867`	`num_dynamic_objects=0;`
`868`	`868`	`dynamic_types.clear();`