Skip to content

Commit

Permalink
Fixed serious formatting issue
Browse files Browse the repository at this point in the history
  • Loading branch information
leventeBajczi committed May 22, 2024
1 parent ffbf3e6 commit 75c1092
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ import hu.bme.mit.theta.analysis.unit.UnitState
* the whole IDE. For this reason, a POJO has to be used instead
*/
private 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<LBlank, RBlank, DataState>, MBlankState : MultiState<LBlank, RBlank, UnitState>, MAction : MultiAction<LAction, RAction>, MLts : MultiLts<LState, RState, DataState, LBlank, RBlank, LAction, RAction, MState, MAction>>
(
(
val side: MultiAnalysisSide<MState, DataState, MBlankState, MAction, MultiPrec<LPrec, RPrec, DataPrec>, MultiPrec<LBlankPrec, RBlankPrec, UnitPrec>>,
val lts: MLts
)
Expand Down

0 comments on commit 75c1092

Please sign in to comment.