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 {
9
9
class Callable = MadRelevantFunction ;
10
10
11
11
/**
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.
13
13
*/
14
14
private predicate hasClosestCallable ( CppStyleComment comment , Callable c ) {
15
15
c =
Original file line number Diff line number Diff line change 3
3
*/
4
4
5
5
private import cpp
6
- private import semmle.code.cpp.dataflow.new.DataFlow
7
6
private import semmle.code.cpp.ir.IR
8
7
private import semmle.code.cpp.dataflow.ExternalFlow as ExternalFlow
9
8
private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon
You can’t perform that action at this time.
0 commit comments