diff options
| author | Maxime Dénès | 2015-06-08 22:36:08 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-06-08 22:36:08 +0200 |
| commit | 5fab341f70b05823910b9a7ead63deb7b35bf161 (patch) | |
| tree | 4a6551ff53416ab4682de0717357edf2d55fec0c /kernel/nativecode.ml | |
| parent | 48a6ce6e7cbdc2a03767c61696425cd5d5827f4f (diff) | |
Make normalization of primitive projections in native_compute the same as with other reduction machines.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions