Update src/Syntax/TimeAgnostic.hs

Co-authored-by: sophierain <[email protected]>
ethereum · Oct 11, 2023 · 34d4c85 · 34d4c85
1 parent 8410734
commit 34d4c85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Syntax/TimeAgnostic.hs b/src/Syntax/TimeAgnostic.hs
@@ -462,7 +462,7 @@ field a c x = object [ "kind"      .= pack "Field"
 
 instance ToJSON (TypedExp t) where
   toJSON (TExp typ a) = object [ "kind"       .= pack "TypedExpr"
-                               , "sort"       .= pack (show typ)
+                               , "type"       .= pack (show typ)
                                , "expression" .= toJSON a ]
 
 instance ToJSON (Exp a t) where