remove dead line

This commit is contained in:
Umur Ozkul 2022-07-05 06:19:42 +02:00
parent 746ca695af
commit 29c9cad510

View File

@ -1,6 +1,5 @@
module ExpressionBuilder = Reducer_Expression_ExpressionBuilder module ExpressionBuilder = Reducer_Expression_ExpressionBuilder
module ExpressionT = Reducer_Expression_T module ExpressionT = Reducer_Expression_T
// open ReducerInterface_InternalExpressionValue
type expression = ExpressionT.expression type expression = ExpressionT.expression