From a4ef3cc14bd6d90ad6ed58832fd77b4155d27105 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 5 Jun 2010 09:42:37 -0400
Subject: Another run of Specialize, using ReduceLocal on datatype parameters

---
 src/reduce_local.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/reduce_local.sig')

diff --git a/src/reduce_local.sig b/src/reduce_local.sig
index 64545a8e..ebc22c50 100644
--- a/src/reduce_local.sig
+++ b/src/reduce_local.sig
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -31,5 +31,6 @@ signature REDUCE_LOCAL = sig
 
     val reduce : Core.file -> Core.file
     val reduceExp : Core.exp -> Core.exp
+    val reduceCon : Core.con -> Core.con
     
 end
-- 
cgit v1.2.3