Skip to content

Commit

Permalink
temprorary reverts the fix in stub resolver
Browse files Browse the repository at this point in the history
  • Loading branch information
ivg committed Jun 12, 2020
1 parent ddb358b commit f1f70d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion plugins/stub_resolver/stub_resolver_main.ml
Original file line number Diff line number Diff line change
Expand Up @@ -68,6 +68,6 @@ let () = Extension.documentation {|
|}

let () = Extension.declare @@ fun _ctxt ->
Stream.observe Project.Info.code @@ Plt.provide;
Stream.observe Project.Info.data @@ Plt.provide;
Bap_abi.register_pass main;
Ok ()

0 comments on commit f1f70d0

Please sign in to comment.