From 4bded5a13eb59ecf91106c660daa49cae9d35058 Mon Sep 17 00:00:00 2001 From: Pieter Bos Date: Mon, 16 Oct 2023 17:04:50 +0200 Subject: [PATCH] oops --- src/rewrite/vct/rewrite/lang/LangTypesToCol.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/rewrite/vct/rewrite/lang/LangTypesToCol.scala b/src/rewrite/vct/rewrite/lang/LangTypesToCol.scala index fd4b27e1e8..d2f977b937 100644 --- a/src/rewrite/vct/rewrite/lang/LangTypesToCol.scala +++ b/src/rewrite/vct/rewrite/lang/LangTypesToCol.scala @@ -37,7 +37,7 @@ case class LangTypesToCol[Pre <: Generation]() extends Rewriter[Pre] { else None def specType(target: SpecTypeNameTarget[Pre], args: Seq[Type[Pre]]): Type[Post] = target match { - case RefAxiomaticDataType(decl) => TAxiomatic[Post](succ(decl), Nil) + case RefAxiomaticDataType(decl) => TAxiomatic[Post](succ(decl), args.map(dispatch)) case RefModel(decl) => TModel[Post](succ(decl)) case RefEnum(enum) => TEnum[Post](succ(enum)) case RefProverType(typ) => TProverType[Post](succ(typ))