Merge pull request #2672 from kant2002/patch-7

Add clarification
FStarLang · Aug 9, 2024 · c3d4954 · c3d4954
2 parents f5bac7a + 3a1df2d
commit c3d4954
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/book/code/Vec.fst b/doc/book/code/Vec.fst
@@ -118,9 +118,9 @@ let rec foldr #a #n #acc
       f hd (foldr f tl init)
 //SNIPPET_END: foldr
 
+//SNIPPET_START: norm_spec
 open FStar.Mul
 
-//SNIPPET_START: norm_spec
 let rec pow2 (n:nat) : nat =
   if n = 0 then 1
   else 2 * pow2 (n - 1)