Project

General

Profile

Revision ad4774b0 src/plugins/salsa/salsa_plugin.ml

View differences:

src/plugins/salsa/salsa_plugin.ml
39 39
      machine_code
40 40
  
41 41
  
42
 end: PluginType.PluginType)
42
 end: PluginType.S)

Also available in: Unified diff