wip

spectrum-finance · Jan 11, 2023 · d721921 · d721921
1 parent 45e53d4
commit d721921
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs b/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs
@@ -104,7 +104,7 @@ vestingWithPeriodValidatorT = plam $ \conf' redeemer' ctx' -> unTermCont $ do
   tlet . ptraceShowId $ validTime
   tlet . ptraceShowId $ validSignature
   tlet . ptraceShowId $ correctReward
-  pure $ validTime 
+  pure $ validTime
        #&& validSignature 
        #&& correctReward
 
@@ -116,9 +116,5 @@ checkRewardCorrectness =
             selfOutput      = phead # selfOutputsList
             selfValue       = pfield @"value" # selfOutput 
             correctOutQty   = totalVested - (periodId * periodVested) 
-        tlet . ptraceShowId $ correctOutQty
-        let
             realOutQty      = assetClassValueOf # selfValue # vestingAC
-        tlet . ptraceShowId $ vestingAC
-        tlet . ptraceShowId $ realOutQty
         pure $ realOutQty #== correctOutQty