*** empty log message ***

diff --git a/Repair/RepairCompiler/compiler-steps.txt b/Repair/RepairCompiler/compiler-steps.txt
index 09254b3646fb30fd63be5a4b41f1fe137c1741fa..f1b11731a16d09c4f5843b7c240183c46c96a965 100755 (executable)
--- a/Repair/RepairCompiler/compiler-steps.txt
+++ b/Repair/RepairCompiler/compiler-steps.txt
@@ -34,5 +34,6 @@ B) remove old object files
 C) ./buildruntime
 D) build checking object: 
    g++ -g -c ex_aux.cc
-E) g++ -g ex_test.cc *.o -o ex
-F) ./ex
+E) If ex_test.c is the application under testing, run:
+   g++ -g ex_test.cc *.o -o ex_test
+F) ./ex_test