From 299177d584d1d9813456ac855aeb2be453bc8619 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Tue, 28 Sep 2021 15:30:16 -0700
Subject: [PATCH] Temporary fix for conflicting anchors, see issue #5

---
 examples/hatra/src/index.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/hatra/src/index.tsx b/examples/hatra/src/index.tsx
index 48f90f0f..8570c238 100644
--- a/examples/hatra/src/index.tsx
+++ b/examples/hatra/src/index.tsx
@@ -65,7 +65,7 @@ export let Paper: React.FC = _ => {
     \newcommand{\nl}{\hspace{2em}}
     `}</$$>
 
-    <Section title="Introduction" name="sec:intro">
+    <Section title="Introduction">
       <p>Programming languages research is conveyed through the medium of <em>academic papers.</em> These papers use a combination of natural language and mathematical notation to communicate ideas about languages, algorithms, and proofs. For example, an explanation of a typing rule for the simply-typed lambda calculus might look like this:</p>
  
       <div style={{border: '1px solid #ccc', borderRadius: '4px', padding: '1rem', margin: '1rem 2rem'}}>