diff options
| author | Son Ho | 2021-11-17 14:26:43 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-17 14:26:43 +0100 |
| commit | 7c62043ab195ee9844d29ade76efdf839a2e98d0 (patch) | |
| tree | aa0aa45d5d11da055604fe7ec503a907bc47af82 /src/main.ml | |
| parent | 25fe1a81758bcf25171beee849467b2fff673b20 (diff) | |
Use [@@ëerive of_json] on all the types
Diffstat (limited to 'src/main.ml')
| -rw-r--r-- | src/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml index 3fd2a311..850c7bcf 100644 --- a/src/main.ml +++ b/src/main.ml @@ -25,5 +25,5 @@ type ty1 = int Id0.vector [@@deriving of_yojson] let () = (* let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in *) let _json = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in - let _test = ty1_of_yojson _json in + let _test = CfimAst.fun_def_of_yojson _json in () |