From e820acb9e220389e9a7e23bcffd97f1d0354f612 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 1 Dec 2012 15:13:58 +0000
Subject: remove instantiator framework

(this commit was certified error- and warning-free by the test-and-commit script.)
---
 src/theory/mkrewriter | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/theory/mkrewriter')

diff --git a/src/theory/mkrewriter b/src/theory/mkrewriter
index 0d00b616c..88ac5b9fb 100755
--- a/src/theory/mkrewriter
+++ b/src/theory/mkrewriter
@@ -81,12 +81,6 @@ function theory {
   theory_id="$1"
 }
 
-function instantiator {
-  # instantiator class header
-  lineno=${BASH_LINENO[0]}
-  check_theory_seen
-}
-
 function properties {
   # properties prop*
   lineno=${BASH_LINENO[0]}
-- 
cgit v1.2.3