From 9e825c60e658acb47789d7b6d0ab1621d945766d Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 21 Mar 2016 23:21:50 -0400
Subject: nicer verify() derivation starter

Added base types for Qhasm

emacs gitignore
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 423261343..6caadcb20 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 bedrock
 fiat
 *~
+*#
 *.vo
 *.d
 *.glob
-- 
cgit v1.2.3