Rename hardware-hacker

mit-plv · Jan 30, 2019 · 904358e · 904358e
1 parent c94df92
commit 904358e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/hardware-hacker.md → READING.md b/hardware-hacker.md → READING.md
diff --git a/README.md b/README.md
@@ -5,7 +5,7 @@ Here lies a formal specification of the RISC-V ISA, written in Haskell.
 
 # How to read this spec
 
-1. Read [the reading guide](hardware-hacker.md).
+1. Read [the reading guide](READING.md).
 2. Read the first half of [our explanation of exception handling in the semantics](exceptions.md).
 3. Dive into the [the Spec directory](src/Spec).