From 565ede240684b79c2975883db6bb4bac16dddca8 Mon Sep 17 00:00:00 2001 From: Alex Humphreys Date: Mon, 22 Jun 2020 21:47:11 +0200 Subject: [PATCH] Update linear.rst Fix typo --- docs/source/app/linear.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/app/linear.rst b/docs/source/app/linear.rst index 93686f4c5..068542fc3 100644 --- a/docs/source/app/linear.rst +++ b/docs/source/app/linear.rst @@ -243,7 +243,7 @@ hard coded password and internal data: readSecret (MkStore str) = pure1 (str # MkStore str) disconnect (MkStore _) - = putStrLn "Door destroyed" + = putStrLn "Disconnect" Then we can run it in ``main``: