diff options
| author | Calvin Morrison <mutantturkey@gmail.com> | 2014-03-19 14:01:35 -0400 |
|---|---|---|
| committer | Calvin Morrison <mutantturkey@gmail.com> | 2014-03-19 14:01:35 -0400 |
| commit | 9b07de942f9289dfb494ccff9b8e081090cd8ef1 (patch) | |
| tree | 9e7bb4907060113a35e99959a1f1a75d8c52c49e /src/nbc/substitution.sml | |
| parent | 5f30959142db9370d9aa06021fb5f5a2e26a1b88 (diff) | |
add OMP flag
Diffstat (limited to 'src/nbc/substitution.sml')
0 files changed, 0 insertions, 0 deletions