1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index c3842fe1..af5c82b8 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -233,7 +233,7 @@ struct Gia_Man_t_
     Vec_Wrd_t *    vSuppWords;    // support information
     Vec_Int_t      vCopiesTwo;    // intermediate copies
     Vec_Int_t      vSuppVars;     // used variables
-    Gia_Dat_t *    pUserData;
+    Gia_Dat_t *    pUData;
 };