Update include/phasar/PhasarLLVM/Plugins/Interfaces/IfdsIde/IDETabulationProblemPlugin.h

MMory · github-actions[bot] · web-flow · commit 789801a97d7f · 2022-01-10T17:07:48.000+01:00
Co-authored-by: github-actions[bot] &lt;41898282+github-actions[bot]@users.noreply.github.com&gt;
diff --git a/include/phasar/PhasarLLVM/Plugins/Interfaces/IfdsIde/IDETabulationProblemPlugin.h b/include/phasar/PhasarLLVM/Plugins/Interfaces/IfdsIde/IDETabulationProblemPlugin.h
@@ -71,7 +71,8 @@ class IDETabulationProblemPlugin
     Fact->print(OS);
   }
 
-  void printFunction(std::ostream &OS, const llvm::Function *Func) const override {
+  void printFunction(std::ostream &OS,
+                     const llvm::Function *Func) const override {
     OS << Func->getName().str();
   }
 

Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,8 @@ class IDETabulationProblemPlugin`
`71`	`71`	`Fact->print(OS);`
`72`	`72`	`}`
`73`	`73`
`74`		`- void printFunction(std::ostream &OS, const llvm::Function *Func) const override {`
	`74`	`+ void printFunction(std::ostream &OS,`
	`75`	`+ const llvm::Function *Func) const override {`
`75`	`76`	`OS << Func->getName().str();`
`76`	`77`	`}`
`77`	`78`