Add name to namespace parameter

smowton · smowton · commit 03277d6cbc8f · 2019-01-14T16:29:36.000Z
diff --git a/src/util/std_code.h b/src/util/std_code.h
@@ -296,7 +296,7 @@ class code_assignt:public codet
 
   static void validate(
     const codet &code,
-    const namespacet &,
+    const namespacet &ns,
     const validation_modet vm = validation_modet::INVARIANT)
   {
     check(code, vm);

Original file line number	Diff line number	Diff line change
`@@ -296,7 +296,7 @@ class code_assignt:public codet`
`296`	`296`
`297`	`297`	`static void validate(`
`298`	`298`	`const codet &code,`
`299`		`- const namespacet &,`
	`299`	`+ const namespacet &ns,`
`300`	`300`	`const validation_modet vm = validation_modet::INVARIANT)`
`301`	`301`	`{`
`302`	`302`	`check(code, vm);`