From 27b7ba9211c98c6bad4c9b2cfbf481dac2d07e7c Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Fri, 6 Apr 2018 09:17:53 -0400
Subject: [PATCH] fix ret

---
 main.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.tex b/main.tex
index 39d2788..8a0f05a 100644
--- a/main.tex
+++ b/main.tex
@@ -18,6 +18,7 @@
 \newcommand{\M}{\mathcal{M}}
 \newcommand{\sq}{\square}
 \newcommand{\lett}{\text{let}\,\,}
+\newcommand{\ret}{\text{ret}\,\,}
 
 \begin{document}
 \title{Call-by-value Gradual Type Theory}
-- 
GitLab