Remove unneeded CHANGED_GVAR_LIST, as only INTOBJs are assigned

gap-system · Jul 18, 2019 · 7302780 · 7302780
1 parent be32d02
commit 7302780
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/gvars.c b/src/gvars.c
@@ -773,7 +773,6 @@ void MakeReadOnlyGVar (
         ErrorMayQuit("Variable: '%g' is constant", (Int)NameGVar(gvar), 0L);
     }
     SetGVarWriteState(gvar, GVarReadOnly);
-    CHANGED_GVAR_LIST( FlagsGVars, gvar );
 }
 
 /****************************************************************************
@@ -789,7 +788,6 @@ void MakeConstantGVar(UInt gvar)
             (Int)NameGVar(gvar), 0L);
     }
     SetGVarWriteState(gvar, GVarConstant);
-    CHANGED_GVAR_LIST(FlagsGVars, gvar);
 }