From 5cb65d8beac0f06fcafbef99d109c09ad029b14d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 13 Oct 2011 15:27:27 +0000 Subject: [PATCH] fix make dist --- src/prop/Makefile.am | 1 - 1 file changed, 1 deletion(-) diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am index c9442a401..30be07d7c 100644 --- a/src/prop/Makefile.am +++ b/src/prop/Makefile.am @@ -12,7 +12,6 @@ libprop_la_SOURCES = \ prop_engine.h \ sat.h \ sat.cpp \ - sat_timer.h \ cnf_stream.h \ cnf_stream.cpp -- 2.30.2