diff options
Diffstat (limited to 'src/cm/cm.c')
| -rw-r--r-- | src/cm/cm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cm/cm.c b/src/cm/cm.c index ce171d4..f6a593f 100644 --- a/src/cm/cm.c +++ b/src/cm/cm.c @@ -12,7 +12,7 @@ int cm_do() { fprintf(err, "This is *NOT IMPLEMENTED* currently.\n"); GEN D = stoi(71); - form_t **forms; + p1363_form_t **forms; size_t nforms = p1363_forms(D, &forms); for (size_t i = 0; i < nforms; ++i) { p1363_invariant(D, forms[i]); |