From c7f4dce9fb8f680651b5a2cd89e58cdeaac2375d Mon Sep 17 00:00:00 2001
From: Matthew Russo <matthew@matthewclayrusso.com>
Date: Sat, 22 Jul 2023 10:44:14 -0700
Subject: [PATCH] [Fix] Book : add empty main so mdbook doesn't wrap function
 in main (#342)

---
 book/src/proptest/getting-started.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/book/src/proptest/getting-started.md b/book/src/proptest/getting-started.md
index 51c6de2b..611fc170 100644
--- a/book/src/proptest/getting-started.md
+++ b/book/src/proptest/getting-started.md
@@ -5,6 +5,8 @@ Let's say we want to make a function that parses dates of the form
 triple of integers is fine. So let's bang something out real quick.
 
 ```rust,no_run
+fn main() {}
+
 fn parse_date(s: &str) -> Option<(u32, u32, u32)> {
     if 10 != s.len() { return None; }
     if "-" != &s[4..5] || "-" != &s[7..8] { return None; }