From 09d448be7cd1dc2dd32ce632b0732d007279bf32 Mon Sep 17 00:00:00 2001
From: Neil Smith <neil.git@njae.me.uk>
Date: Thu, 2 Jan 2020 17:46:40 +0000
Subject: [PATCH] Updated profiling information

---
 README.html | 4 ++--
 README.md   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.html b/README.html
index dd8744b..916c577 100644
--- a/README.html
+++ b/README.html
@@ -43,9 +43,9 @@
 <pre><code>stack ghci advent01:exe:advent01</code></pre>
 <p>if the first form is ambiguous.</p>
 <p>To profile, use</p>
-<pre><code>stack build --executable-profiling --library-profiling --ghc-options=&quot;-fprof-auto -rtsopts&quot;</code></pre>
+<pre><code>stack build --executable-profiling --library-profiling --ghc-options=&quot;-fprof-auto -rtsopts&quot; advent01</code></pre>
 <p>then run with</p>
-<pre><code>stack exec -- advent01 +RTS -p -hy</code></pre>
+<pre><code>stack exec --profile -- advent01 +RTS -p -hy</code></pre>
 <p>Generate the profile graph with</p>
 <pre><code>stack exec hp2ps advent01.hp</code></pre>
 <h1 id="packages">Packages</h1>
diff --git a/README.md b/README.md
index 3c08dac..ba5265b 100644
--- a/README.md
+++ b/README.md
@@ -69,11 +69,11 @@ if the first form is ambiguous.
 
 To profile, use 
 ```
-stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"
+stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts" advent01
 ```
 then run with
 ```
-stack exec -- advent01 +RTS -p -hy
+stack exec --profile -- advent01 +RTS -p -hy
 ```
 Generate the profile graph with
 ```
-- 
2.43.0