From 4c6872615c830fc2f77fa06a17869d39a00f02a4 Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 30 Jul 2021 12:10:40 +0200 Subject: [PATCH] remove RConcrete --- gf.cabal | 1 - 1 file changed, 1 deletion(-) diff --git a/gf.cabal b/gf.cabal index 218ff2785..5b5605ba2 100644 --- a/gf.cabal +++ b/gf.cabal @@ -136,7 +136,6 @@ executable gf GF.Compile.TypeCheck.Concrete GF.Compile.TypeCheck.ConcreteNew GF.Compile.TypeCheck.Primitives - GF.Compile.TypeCheck.RConcrete GF.Compile.TypeCheck.TC GF.Compile.Update GF.Data.BacktrackM