addressed review comment (removed 'Implementation')

michelou · michelou · commit 04a6ede7da23 · 2020-12-23T22:56:55.000+01:00
diff --git a/docs/docs/reference/metaprogramming/erased-terms-spec.md b/docs/docs/reference/metaprogramming/erased-terms-spec.md
@@ -3,9 +3,7 @@ layout: doc-page
 title: "Erased Terms Spec"
 ---
 
-## Implementation
-
-### Rules
+## Rules
 
 1. The `erased` modifier can appear:
    * At the start of a parameter block of a method, function or class
