g2-0.1.0.0: src/G2/Initialization/ElimTicks.hs

{-# LANGUAGE FlexibleContexts #-}

module G2.Initialization.ElimTicks (elimTicks) where

import G2.Language

elimTicks :: ASTContainer m Expr => m -> m
elimTicks = modifyASTsFix elimTicks'

elimTicks' :: Expr -> Expr
elimTicks' (Tick _ e) = e
elimTicks' e = e