Commit 57a29a50 authored by point's avatar point
Browse files

*** empty log message ***

parent 29b1883b
......@@ -3,6 +3,6 @@ const R_max = 20;
domain R = [R_min,R_max];
node A
node Main
state s : R;
Supports Markdown
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