Agda-2.3.2.2: src/transl/agda/OldCParser.hs

{-# OPTIONS -cpp #-}

#undef NEWSYNTAX

module OldCParser where

#include "CParser.hs"