Improve annotation of dependence graph declarations.

martin · martin · commit 4d15a3e44c77 · 2017-05-23T00:13:54.000+01:00
diff --git a/src/analyses/dependence_graph.h b/src/analyses/dependence_graph.h
@@ -91,7 +91,7 @@ class dep_graph_domaint:public ai_domain_baset
     const ai_baset &ai,
     const namespacet &ns) const override;
 
-  void make_top() final
+  void make_top() final override
   {
     assert(node_id!=std::numeric_limits<node_indext>::max());
 

Original file line number	Diff line number	Diff line change
`@@ -91,7 +91,7 @@ class dep_graph_domaint:public ai_domain_baset`
`91`	`91`	`const ai_baset &ai,`
`92`	`92`	`const namespacet &ns) const override;`
`93`	`93`
`94`		`- void make_top() final`
	`94`	`+ void make_top() final override`
`95`	`95`	`{`
`96`	`96`	`assert(node_id!=std::numeric_limits<node_indext>::max());`
`97`	`97`