diff options
| author | Kathy Gray | 2013-10-14 14:57:01 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-10-14 14:57:01 +0100 |
| commit | ac043de5e194cad8a5b07d288d4c42ff17b18214 (patch) | |
| tree | 7921712e7983aa626fecbc0ff8163d4ebf59cfa5 /src/pp.ml | |
| parent | 14d544935fc87df2b258cd4c9ed5acede44fe1f3 (diff) | |
Fix pattern match so that P_id is selected when P_app has no parameters
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions