MaD: Rename file.

This commit is contained in:
Anders Schack-Mulligen
2025-12-12 13:50:58 +01:00
parent 8564b4ea66
commit 7f8d0771df
9 changed files with 8 additions and 8 deletions

View File

@@ -101,7 +101,7 @@ private import semmle.code.csharp.dispatch.OverridableCallable
private import semmle.code.csharp.frameworks.System
private import codeql.dataflow.internal.AccessPathSyntax as AccessPathSyntax
private import codeql.mad.ModelValidation as SharedModelVal
private import codeql.mad.static.MaD as SharedMaD
private import codeql.mad.static.ModelsAsData as SharedMaD
private module MadInput implements SharedMaD::InputSig { }

View File

@@ -2,7 +2,7 @@
* This module provides extensible predicates for defining MaD models.
*/
private import codeql.mad.static.MaD as SharedMaD
private import codeql.mad.static.ModelsAsData as SharedMaD
/**
* Holds if a source model exists for the given parameters.