From 62a4ff456627d5c1b2dff79c9c9e33f27b983533 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Mon, 30 Nov 2015 14:52:42 -0500
Subject: [PATCH] cosmetics in the ABI document

---
 lisc/ABI | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lisc/ABI b/lisc/ABI
index d7088d4..0eaa7c7 100644
--- a/lisc/ABI
+++ b/lisc/ABI
@@ -1,5 +1,5 @@
-Summary of ABI for calls on x64
-===============================
+System V ABI for calls on x64
+=============================
 
 Data classes of interest as defined by the ABI:
  - INTEGER
@@ -41,7 +41,7 @@ Passing:
    an upper bound and does not have to be exact).
  - Registers %rbx, %r12 - %r15 are callee-save.
 
-Returning.
+Returning:
  - Classify the return type.
  - Use %rax and %rdx in order for INTEGER return values.
  - Use %xmm0 and %xmm1 in order for SSE return values.