From 9882ee3676d84a17b03751d101df84c7086bbf88 Mon Sep 17 00:00:00 2001 From: RipplB Date: Mon, 20 May 2024 23:30:04 +0200 Subject: [PATCH] Formatting --- .../analysis/multi/builder/MultiBuilderResult.kt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/subprojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt b/subprojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt index cff5bd565a..89e34ec885 100644 --- a/subprojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt +++ b/subprojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/builder/MultiBuilderResult.kt @@ -32,12 +32,12 @@ import hu.bme.mit.theta.analysis.unit.UnitState data class MultiBuilderResult < - LState : State, RState : State, DataState : State, LBlank : State, RBlank : State, - LAction : Action, RAction : Action, - LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec, - MState : MultiState, MBlankState : MultiState, MAction : MultiAction, - MLts : MultiLts - > + LState : State, RState : State, DataState : State, LBlank : State, RBlank : State, + LAction : Action, RAction : Action, + LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec, + MState : MultiState, MBlankState : MultiState, MAction : MultiAction, + MLts : MultiLts + > ( val side: MultiAnalysisSide, MultiPrec>, val lts: MLts