From 430a6b83e00ae35afce55c472ac70f1e840abec0 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 8 Mar 2016 21:48:58 -0500
Subject: [PATCH] cosmetics in abi.txt

---
 doc/abi.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/abi.txt b/doc/abi.txt
index 71ff263..02e2877 100644
--- a/doc/abi.txt
+++ b/doc/abi.txt
@@ -77,7 +77,7 @@ Data classes of interest as defined by the ABI:
 
 The ABI is unclear on the alignment requirement of the
 stack.  What must be ensured is that, right before
-executing a 'call' instruction, the stack pointer %rsp
+executing a 'call' instruction, the stack pointer `%rsp`
 is aligned on 16 bytes.  On entry of the called
 function, the stack pointer is 8 modulo 16.  Since most
 functions will have a prelude pushing `%rbp`, the frame