File tree Expand file tree Collapse file tree 2 files changed +1
-2
lines changed
src/utils/modelgenerator/internal Expand file tree Collapse file tree 2 files changed +1
-2
lines changed Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ private module InlineMadTestLang implements InlineMadTestLangSig {
99 class Callable = MadRelevantFunction ;
1010
1111 /**
12- * Holds if `c` is the closest `Callable` that suceeds `comment` in the file.
12+ * Holds if `c` is the closest `Callable` that succeeds `comment` in the file.
1313 */
1414 private predicate hasClosestCallable ( CppStyleComment comment , Callable c ) {
1515 c =
Original file line number Diff line number Diff line change 33 */
44
55private import cpp
6- private import semmle.code.cpp.dataflow.new.DataFlow
76private import semmle.code.cpp.ir.IR
87private import semmle.code.cpp.dataflow.ExternalFlow as ExternalFlow
98private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon
You can’t perform that action at this time.
0 commit comments