diff options
author | Andre Polykanine A.K.A. Menelion ElensĂșlĂ« <andre@oire.org> | 2017-08-24 01:41:51 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-24 01:41:51 +0300 |
commit | 2694c89c3322b730b5635960e893323aa6524114 (patch) | |
tree | e910f541ae5e55042990459d029404c148ba1051 /standard-ml.html.markdown | |
parent | 1058ecc7d4d966788e5d963caf9f8c27dd2ac330 (diff) | |
parent | 985d23a52b76593a120adff5381c2df3a80fe298 (diff) |
Merge pull request #2807 from HairyFotr/typos
[all/en] Fix a bunch of typos
Diffstat (limited to 'standard-ml.html.markdown')
-rw-r--r-- | standard-ml.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown index c286366b..9ebf345b 100644 --- a/standard-ml.html.markdown +++ b/standard-ml.html.markdown @@ -395,7 +395,7 @@ fun failing_function [] = raise Empty (* used for empty lists *) | failing_function xs = raise Fail "This list is too long!" (* We can pattern match in 'handle' to make sure - a specfic exception was raised, or grab the message *) + a specific exception was raised, or grab the message *) val err_msg = failing_function [1,2] handle Fail _ => "Fail was raised" | Domain => "Domain was raised" | Empty => "Empty was raised" |