Skip to content

Commit

Permalink
Use PyrePysaLogic in chache.mli
Browse files Browse the repository at this point in the history
Summary: I missed this when I cut over `cache.ml`

Reviewed By: grievejia

Differential Revision: D64010322

fbshipit-source-id: b05484d6afa4f105b341cd83516f395173cef8d2
  • Loading branch information
stroxler authored and facebook-github-bot committed Oct 8, 2024
1 parent e2c1196 commit e67568e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion source/interprocedural_analyses/taint/cache.mli
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@

open Interprocedural
module PyrePysaEnvironment = Analysis.PyrePysaEnvironment
module PyrePysaLogic = Analysis.PyrePysaLogic

type t

Expand All @@ -17,7 +18,7 @@ val try_load
scheduler_policies:Configuration.SchedulerPolicies.t ->
saved_state:Configuration.StaticAnalysis.SavedState.t ->
configuration:Configuration.Analysis.t ->
decorator_configuration:Analysis.DecoratorPreprocessing.Configuration.t ->
decorator_configuration:PyrePysaLogic.DecoratorPreprocessing.Configuration.t ->
skip_type_checking_callables:Ast.Reference.SerializableSet.t ->
enabled:bool ->
t
Expand Down

0 comments on commit e67568e

Please sign in to comment.