Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Fix linker and tests

Browse source
This commit is contained in:
Seungheon Oh 2023-03-04 01:18:55 -06:00
parent f0917565a2
commit 293de47f05
2 changed files with 46 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-specs/Property/Governor.hs
View file

@ -221,7 +221,7 @@ mkPolicyScript ctx = mustCompile (go # pconstant ctx)
go = loudEval $
plam $ \sc ->
governorPolicy
# pconstant (view #gstOutRef governor)
# pdata (pconstant (view #gstOutRef governor))
# pforgetData (pconstantData ())
# sc