Commit 453bf66a authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 9dd3286a
......@@ -61,9 +61,6 @@ type nominal_term =
(* Operations based on visitors. *)
(* We create more operations than we actually need in this demo.
This is just a way of testing that everything works. *)
#include ""
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment