From 86afffa967cb74d9e6d3551a9f91ed098300c257 Mon Sep 17 00:00:00 2001 From: Hong Ge Date: Thu, 2 Sep 2021 18:35:57 +0000 Subject: [PATCH] Remove some obsolete constant variables. (#324) --- src/varinfo.jl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/varinfo.jl b/src/varinfo.jl index ad941b9c2..451060b0b 100644 --- a/src/varinfo.jl +++ b/src/varinfo.jl @@ -1,8 +1,3 @@ -# Constants for caching -const CACHERESET = 0b00 -const CACHEIDCS = 0b10 -const CACHERANGES = 0b01 - #### #### Types for typed and untyped VarInfo ####