diff --git a/src/fsharp/PatternMatchCompilation.fs b/src/fsharp/PatternMatchCompilation.fs
index 83e74cc497c4..67e8ff802a32 100644
--- a/src/fsharp/PatternMatchCompilation.fs
+++ b/src/fsharp/PatternMatchCompilation.fs
@@ -984,7 +984,7 @@ let CompilePatternBasic
                  // Project a successful edge through the frontiers. 
                  let investigation = Investigation(i',discrim,path)
 
-                 let frontiers = frontiers |> List.collect (GenerateNewFrontiersAfterSucccessfulInvestigation inpExprOpt resPostBindOpt investigation) 
+                 let frontiers = frontiers |> List.collect (GenerateNewFrontiersAfterSuccessfulInvestigation inpExprOpt resPostBindOpt investigation) 
                  let tree = InvestigateFrontiers refuted frontiers
                  // Bind the resVar for the union case, if we have one
                  let tree = 
@@ -1025,7 +1025,7 @@ let CompilePatternBasic
           
     // Build a new frontier that represents the result of a successful investigation 
     // at rule point (i',discrim,path) 
-    and GenerateNewFrontiersAfterSucccessfulInvestigation inpExprOpt resPostBindOpt (Investigation(i',discrim,path)) (Frontier (i, active,valMap) as frontier) =
+    and GenerateNewFrontiersAfterSuccessfulInvestigation inpExprOpt resPostBindOpt (Investigation(i',discrim,path)) (Frontier (i, active,valMap) as frontier) =
 
         if (isMemOfActives path active) then
             let (SubExpr(accessf,ve)),pat = lookupActive path active
@@ -1159,7 +1159,7 @@ let CompilePatternBasic
                 | _ ->
                     [frontier]
 
-            | _ -> failwith "pattern compilation: GenerateNewFrontiersAfterSucccessfulInvestigation"
+            | _ -> failwith "pattern compilation: GenerateNewFrontiersAfterSuccessfulInvestigation"
         else [frontier] 
         
     and BindProjectionPattern (Active(path,subExpr,p) as inp) ((accActive,accValMap) as s) =