|
@@ -439,11 +439,11 @@ and encode_platform p =
|
|
| Flash -> 4, []
|
|
| Flash -> 4, []
|
|
| Php -> 5, []
|
|
| Php -> 5, []
|
|
| Cpp -> 6, []
|
|
| Cpp -> 6, []
|
|
- | Jvm -> 8, []
|
|
|
|
- | Python -> 9, []
|
|
|
|
- | Hl -> 10, []
|
|
|
|
- | Eval -> 11, []
|
|
|
|
- | CustomTarget s -> 12, [(encode_string s)]
|
|
|
|
|
|
+ | Jvm -> 7, []
|
|
|
|
+ | Python -> 8, []
|
|
|
|
+ | Hl -> 9, []
|
|
|
|
+ | Eval -> 10, []
|
|
|
|
+ | CustomTarget s -> 11, [(encode_string s)]
|
|
in
|
|
in
|
|
encode_enum ~pos:None IPlatform tag pl
|
|
encode_enum ~pos:None IPlatform tag pl
|
|
|
|
|