avoid a warning

Daniel Kroening · Daniel Kroening · commit 7a8961e0d0fb · 2017-03-19T11:28:49.000Z
diff --git a/src/util/language_file.h b/src/util/language_file.h
@@ -87,7 +87,7 @@ class language_filest:public messaget
 
   bool has_lazy_method(const irep_idt &id)
   {
-    return lazy_method_map.count(id);
+    return lazy_method_map.count(id)!=0;
   }
 
   // The method must have been added to the symbol table and registered

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@ class language_filest:public messaget`
`87`	`87`
`88`	`88`	`bool has_lazy_method(const irep_idt &id)`
`89`	`89`	`{`
`90`		`- return lazy_method_map.count(id);`
	`90`	`+ return lazy_method_map.count(id)!=0;`
`91`	`91`	`}`
`92`	`92`
`93`	`93`	`// The method must have been added to the symbol table and registered`