Commit 63c2c25b authored by Laszlo Domoszlai's avatar Laszlo Domoszlai
Browse files

remove dead code

parent dfccf3ec
......@@ -46,8 +46,6 @@ int readB(Thunk* thunk);
#endif
struct Thunk* updateI(Thunk* target, int i);
struct Thunk* updateB(Thunk* target, int b);
struct Thunk* updateT(Thunk* target, Thunk* source);
struct Thunk* updateF(Thunk* target, Desc* f);
......@@ -56,8 +54,6 @@ struct Thunk* createF(Desc* f);
bool is_hnf(Thunk* thunk);
struct Thunk* eval(Thunk* thunk);
// Thunk is supposed to be in HNF
void print(Thunk* thunk, bool force);
......
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