diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml
index 968b73a1a..94ec09373 100644
--- a/src/passes/operators/operators.ml
+++ b/src/passes/operators/operators.ml
@@ -154,8 +154,6 @@ module Simplify = struct
       | "time"                     -> ok C_NOW
       | "Current.amount"           -> ok C_AMOUNT
       | "amount"                   -> ok C_AMOUNT
-      | "Current.gas"              -> ok C_STEPS_TO_QUOTA
-      | "gas"                      -> ok C_STEPS_TO_QUOTA
       | "Current.sender"           -> ok C_SENDER
       | "Current.address"          -> ok C_ADDRESS
       | "Current.self_address"     -> ok C_SELF_ADDRESS
diff --git a/src/stages/common/PP.ml b/src/stages/common/PP.ml
index 7235c9472..a3928e26a 100644
--- a/src/stages/common/PP.ml
+++ b/src/stages/common/PP.ml
@@ -146,7 +146,6 @@ let constant ppf : constant' -> unit = function
   | C_SELF_ADDRESS          -> fprintf ppf "SELF_ADDRESS"
   | C_IMPLICIT_ACCOUNT      -> fprintf ppf "IMPLICIT_ACCOUNT"
   | C_SET_DELEGATE          -> fprintf ppf "SET_DELEGATE"
-  | C_STEPS_TO_QUOTA        -> fprintf ppf "STEPS_TO_QUOTA"
 
 let literal ppf (l : literal) =
   match l with
diff --git a/src/stages/common/types.ml b/src/stages/common/types.ml
index d390d1d46..e923bc924 100644
--- a/src/stages/common/types.ml
+++ b/src/stages/common/types.ml
@@ -288,4 +288,3 @@ and constant' =
   | C_SELF_ADDRESS
   | C_IMPLICIT_ACCOUNT
   | C_SET_DELEGATE
-  | C_STEPS_TO_QUOTA
diff --git a/src/stages/mini_c/PP.ml b/src/stages/mini_c/PP.ml
index fb607db79..626b6a23c 100644
--- a/src/stages/mini_c/PP.ml
+++ b/src/stages/mini_c/PP.ml
@@ -241,7 +241,6 @@ and constant ppf : constant' -> unit = function
   | C_ADDRESS               -> fprintf ppf "ADDRESS"
   | C_SELF_ADDRESS          -> fprintf ppf "SELF_ADDRESS"
   | C_IMPLICIT_ACCOUNT      -> fprintf ppf "IMPLICIT_ACCOUNT"
-  | C_STEPS_TO_QUOTA        -> fprintf ppf "STEPS_TO_QUOTA"
   | C_SET_DELEGATE          -> fprintf ppf "SET_DELEGATE"
 
 let%expect_test _ =