This commit is contained in:
dmitry.shakhtarin 2018-09-09 11:01:58 +03:00
parent 31d4d171ca
commit 391c8b9616

View File

@ -5,7 +5,7 @@ import hackethberlin.types._
import shapeless._ import shapeless._
import Decorator._ import Decorator._
import syntax.singleton._ import syntax.singleton._
import fluence.hackethberlin.{Contract, Expr, FuncDef} import fluence.hackethberlin.{Contract, Expr}
import fluence.hackethberlin.types.{`public`, ProductType, Void} import fluence.hackethberlin.types.{`public`, ProductType, Void}
import shapeless.HNil import shapeless.HNil