forgot to modify header with extra CV fields

kern/include/synch.h

@@ -113,10 +113,10 @@ void lock_destroy(struct lock *);
  * (should be) made internally.
  */
 
-struct cv {
-        char *cv_name;
-        // add what you need here
-        // (don't forget to mark things volatile as needed)
+struct cv
+{
+  char * cv_name;
+  struct wchan * wc;
 };
 
 struct cv *cv_create(const char *name);