diff --git a/frontend/static/languages/code_ocaml.json b/frontend/static/languages/code_ocaml.json index 361fbba8d..4b049d26e 100644 --- a/frontend/static/languages/code_ocaml.json +++ b/frontend/static/languages/code_ocaml.json @@ -323,6 +323,7 @@ "?exn:exn ->", "List.map", "List.filter", + "List.fold", "List.fold_left", "List.fold_right", "List.iter", @@ -443,7 +444,6 @@ "nan", "infinity", "neg_infinity", - "not", "pred", "succ", "sqrt",