From bda701f557d0e9aadd4717dd4fd6a38ac8ceb1eb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 21 Oct 2008 17:34:20 -0400
Subject: Rec demo

---
 lib/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index 212cccc6..53c4529d 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -333,6 +333,7 @@ val br : bodyTagStandalone []
 val p : bodyTag []
 val b : bodyTag []
 val i : bodyTag []
+val tt : bodyTag []
 val font : bodyTag [Size = int, Face = string]
 
 val h1 : bodyTag []
-- 
cgit v1.2.3