X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=ocaml_yacc%2Fast.cmi;fp=ocaml_yacc%2Fast.cmi;h=0000000000000000000000000000000000000000;hb=a788ad367540fe853285fe83428d4fe7b2a82309;hp=6902fe77242484dfc54141d6571c28a0af566a25;hpb=dc89f114ae00fcae1f8cd0bb5eae9977f15c3582;p=uann

diff --git a/ocaml_yacc/ast.cmi b/ocaml_yacc/ast.cmi
deleted file mode 100644
index 6902fe7..0000000
Binary files a/ocaml_yacc/ast.cmi and /dev/null differ