From 7bc788c67ed9331773355ceeae4ace7923a6e914 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 09:36:47 -0400
Subject: Unpoly non-recursive function

---
 src/sources | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 0a3761d5..a30626a8 100644
--- a/src/sources
+++ b/src/sources
@@ -81,6 +81,9 @@ reduce.sml
 shake.sig
 shake.sml
 
+unpoly.sig
+unpoly.sml
+
 specialize.sig
 specialize.sml
 
-- 
cgit v1.2.3