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

{-# OPTIONS -cpp #-}

#define NEWSYNTAX 1

module NewCParser where

#include "CParser.hs"