From 63975d9f89a4d4ef95f718b90828a9cb7a2c6c4a Mon Sep 17 00:00:00 2001
From: "John M. Penn" <john.m.penn@nasa.gov>
Date: Wed, 1 Jul 2015 18:10:53 -0500
Subject: [PATCH] Fixes #78: Changed message about configure option for TPRO
 CTE card.

---
 trick_source/sim_services/Clock/TPROCTEClock.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trick_source/sim_services/Clock/TPROCTEClock.cpp b/trick_source/sim_services/Clock/TPROCTEClock.cpp
index f5f799a1..15f60f94 100644
--- a/trick_source/sim_services/Clock/TPROCTEClock.cpp
+++ b/trick_source/sim_services/Clock/TPROCTEClock.cpp
@@ -55,7 +55,7 @@ int Trick::TPROCTEClock::clock_init() {
     return 0 ;
 #else
     message_publish(MSG_ERROR, "TPRO CTE card was not enabled when Trick was compiled.\n\
-Please run ${TRICK_HOME}/configure --tprocte=<directory holding CTE>, and recompile Trick\n");
+Please run ${TRICK_HOME}/configure --with-tpro=<directory holding CTE>, and recompile Trick\n");
     return -1 ;
 #endif
 }