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

MMory · github-actions[bot] · web-flow · commit e7e0f84f988f · 2022-01-10T17:07:43.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
@@ -61,7 +61,8 @@ class IDETabulationProblemPlugin
 
   bool isZeroValue(d_t Fact) const override { return Fact == getZeroValue(); }
 
-  void printNode(std::ostream &OS, const llvm::Instruction *Stmt) const override {
+  void printNode(std::ostream &OS,
+                 const llvm::Instruction *Stmt) const override {
     OS << llvmIRToString(Stmt);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,8 @@ class IDETabulationProblemPlugin`
`61`	`61`
`62`	`62`	`bool isZeroValue(d_t Fact) const override { return Fact == getZeroValue(); }`
`63`	`63`
`64`		`- void printNode(std::ostream &OS, const llvm::Instruction *Stmt) const override {`
	`64`	`+ void printNode(std::ostream &OS,`
	`65`	`+ const llvm::Instruction *Stmt) const override {`
`65`	`66`	`OS << llvmIRToString(Stmt);`
`66`	`67`	`}`
`67`	`68`