From 0c7bf0508a9c7c743b085fba25c178221065ab35 Mon Sep 17 00:00:00 2001
From: Hemant Gouni <hemant@hemantgouni.com>
Date: Mon, 16 Aug 2021 21:47:39 +0000
Subject: [PATCH] Add git flag

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7db25c6e..9c0c3212 100644
--- a/README.md
+++ b/README.md
@@ -101,7 +101,7 @@ PLFA ships with the required version of the Agda standard library, so if you clo
 If you forgot to add the `--recurse-submodules` flag, no worries, we can fix that!
 ```bash
 cd plfa/
-git submodule update --recursive
+git submodule update --init --recursive
 ```
 If you obtained PLFA by downloading the zip archive, you can get the required version of the Agda standard library from GitHub. You can either clone the repository and switch to the correct branch, or you can download the [the zip archive][agda-stdlib]:
 ```bash