We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3c6500a commit 8ad0967Copy full SHA for 8ad0967
src/stellogen/sgen_ast.ml
@@ -51,10 +51,7 @@ type env =
51
52
let expect (g : galaxy_expr) : galaxy_expr =
53
Raw
54
- (Galaxy
55
- [ GLabelDef ("interaction", Id "tested")
56
- ; GLabelDef ("expect", g)
57
- ] )
+ (Galaxy [ GLabelDef ("interaction", Id "tested"); GLabelDef ("expect", g) ])
58
59
let initial_env =
60
{ objs = [ ("^empty", Raw (Const [])) ]
0 commit comments