From b00c4d2e64ad0aaa15f8a7dc5252ead76eac7a08 Mon Sep 17 00:00:00 2001 From: Doug Woos Date: Mon, 30 Jan 2017 20:54:24 -0800 Subject: [PATCH] add name --- src/tactic/sine_filter.cpp | 4 ++++ src/tactic/sine_filter.h | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/src/tactic/sine_filter.cpp b/src/tactic/sine_filter.cpp index 15f0fca7a..2052035f7 100644 --- a/src/tactic/sine_filter.cpp +++ b/src/tactic/sine_filter.cpp @@ -9,6 +9,10 @@ Abstract: Tactic that performs Sine Qua Non premise selection +Author: + + Doug Woos + Revision History: --*/ diff --git a/src/tactic/sine_filter.h b/src/tactic/sine_filter.h index 9b9e279a4..769ef474f 100644 --- a/src/tactic/sine_filter.h +++ b/src/tactic/sine_filter.h @@ -9,6 +9,10 @@ Abstract: Tactic that performs Sine Qua Non premise selection +Author: + + Doug Woos + Revision History: --*/