Update main.c

src/main.c

@@ -89,8 +89,6 @@ int readInput( double ***graph)
   @ requires \forall int i; 0 <= i < nodes ==> \valid(graph[i] + (0..nodes-1));
   @ ensures \forall integer i; 0 <= i < nodes ==> graph[i] == \null;
   @ ensures !\valid(graph) && (\forall int i; 0 <= i < nodes ==> !\valid(graph[i]));
-  @ frees graph[0..nodes-1];
-  @ frees graph;
   @ assigns graph[0..nodes-1];
   @*/
 void cleanUp(int nodes, double** graph){