From 4bf6810c9a191a73bae3d71d962f2288590d0f16 Mon Sep 17 00:00:00 2001
From: Joost Rijneveld <joost@joostrijneveld.nl>
Date: Tue, 9 Apr 2019 11:17:54 +0200
Subject: [PATCH] Explicitly disallow preprocessor #if

---
 .github/pull_request_template.md | 2 +-
 README.md                        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index 70f289f1..ff8e182b 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -6,7 +6,7 @@
 #### Manually checked properties
 <!-- These checkboxes serve for the maintainers of PQClean to verify your submission. Please do not check them yourself. -->
 
-* [ ] `#ifdef`s only for header encapsulation
+* [ ] `#if`/`#ifdef`s only for header encapsulation
 * [ ] `api.h` does not include other files
 * [ ] No stringification macros
 * [ ] Output-parameter pointers in functions are on the left
diff --git a/README.md b/README.md
index 9ed821b5..e69225ed 100644
--- a/README.md
+++ b/README.md
@@ -65,7 +65,7 @@ _The checking of items on this list is still being developed. Checked items shou
 ## Requirements on C implementations that are manually checked
 
 * Minimalist Makefiles
-* `#ifdef`s only for header encapsulation
+* `#if`/`#ifdef`s only for header encapsulation
 * No stringification macros
 * Output-parameter pointers in functions are on the left
 * `const` arguments are labeled as `const`