Skip to content

Commit

Permalink
Correct new CPP directives following rebase
Browse files Browse the repository at this point in the history
Signed-off-by: Rod Chapman <[email protected]>
  • Loading branch information
rod-chapman committed Jan 21, 2025
1 parent 75e025c commit da0c929
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 0 deletions.
7 changes: 7 additions & 0 deletions mlkem/ntt.c
Original file line number Diff line number Diff line change
Expand Up @@ -727,3 +727,10 @@ void poly_invntt_tomont(poly *p)
debug_assert_abs_bound(p, MLKEM_N, INVNTT_BOUND);
}
#endif /* MLKEM_USE_NATIVE_INTT */

#else /* MLKEM_NATIVE_MULTILEVEL_BUILD_NO_SHARED */

#define empty_cu_ntt MLKEM_NAMESPACE_K(empty_cu_ntt)
int empty_cu_ntt;

#endif /* MLKEM_NATIVE_MULTILEVEL_BUILD_NO_SHARED */
2 changes: 2 additions & 0 deletions mlkem/ntt.h
Original file line number Diff line number Diff line change
Expand Up @@ -70,3 +70,5 @@ __contract__(
assigns(memory_slice(r, sizeof(poly)))
ensures(array_abs_bound(r->coeffs, 0, MLKEM_N, INVNTT_BOUND))
);

#endif /* NTT_H */

0 comments on commit da0c929

Please sign in to comment.