X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=context.cc;h=56c3acbb04bb0678b011737b07f1a1c6028006a4;hb=34698794dfbc5f8f8e757f9ea4d9afa051157ec7;hp=7081656ab299b505b55f662cd230ed30c303aedc;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/context.cc b/context.cc
index 7081656..56c3acb 100644
--- a/context.cc
+++ b/context.cc
@@ -33,4 +33,4 @@ int model_swapcontext(ucontext_t *oucp, ucontext_t *ucp)
 	return 0;
 }
 
-#endif /* MAC */
+#endif/* MAC */