fixup whitespace

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index cde331dbfad0dde86f33394639ced4f374418fd0..f24010697d60f306de512ab40fecdece88875cdd 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -94,7 +94,7 @@ void Thread::complete()
        }
 }
 
-/** Create a new thread. 
+/** Create a new thread.
  *  Takes the following parameters:
  *  @param t The thread identifier of the newly created thread.
  *  @param func  The function that the thread will call.