Update specialization.mli

uwplse · Apr 20, 2021 · b104eac · b104eac
1 parent c27859c
commit b104eac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/src/core/components/specialization/specialization.mli b/plugin/src/core/components/specialization/specialization.mli
@@ -2,7 +2,7 @@
 
 (*
  * The default approach (specialize_using specialize_term)
- * is function application followed by betaiota reduction.
+ * is function application followed by betaiotazeta reduction.
  *
  * We expose more advanced specialization approaches so that it is
  * easy to customize how this is called, which is useful