From e6afe851f90c8a864c20fe287ee3a7d5e03c8b77 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 30 Oct 2014 17:47:07 +0100
Subject: STM: reorganize code and file names

- proofworkertop to deal with proof tasks
- tacworkertop   to deal with par: tactics
- queryworkertop to deal with queries (next commit)
---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index b47a3e3224..297c046135 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -165,7 +165,7 @@ CORECMA:=lib/clib.cma lib/lib.cma kernel/kernel.cma library/library.cma \
         parsing/parsing.cma printing/printing.cma tactics/tactics.cma \
 	stm/stm.cma toplevel/toplevel.cma parsing/highparsing.cma tactics/hightactics.cma
 
-TOPLOOPCMA:=stm/stmworkertop.cma stm/tacworkertop.cma
+TOPLOOPCMA:=stm/proofworkertop.cma stm/tacworkertop.cma stm/queryworkertop.cma
 
 GRAMMARCMA:=tools/compat5.cmo grammar/grammar.cma
 
-- 
cgit v1.2.3