diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-06 13:47:48 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-06 13:47:48 -0400 |
| commit | 09a9310b877c5032146a6e73b59fcef9bda71e5e (patch) | |
| tree | 36e32299ef75f6ab6ab718085b4cc9e138a1f620 /src | |
| parent | 2cd96eeaabcc780d4b092660f41e44d46f53a7dc (diff) | |
Moved PointEncoding out of Spec
Diffstat (limited to 'src')
| -rw-r--r-- | src/Encoding/PointEncoding.v (renamed from src/Spec/PointEncoding.v) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/Spec/PointEncoding.v b/src/Encoding/PointEncoding.v index 92ba91a6d..92ba91a6d 100644 --- a/src/Spec/PointEncoding.v +++ b/src/Encoding/PointEncoding.v |