Commit e03a94dd authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Test commit. Fixing a typo in a message.

parent 37795e5c
......@@ -252,7 +252,7 @@ dependfirst:
init: camllibsrc
@chmod +x $(OCAMLDEPWRAPPER)
@chmod +x $(OPENSCRIPT)
@echo MAKE INIT SUCCESSFUL: YOU MAY NOW RUN 'make -C tcl all', and then 'make depend'
@echo MAKE INIT SUCCESSFUL: YOU MAY NOW RUN 'make -C tlc all', and then 'make depend'
camllibsrc:
@$(foreach file, $(CAMLLIB_MLI), cp gen/stdlib/$(file) camllib/; )
......@@ -558,4 +558,4 @@ test:
# okasaki/QueueSig \
# okasaki/BankersQueue
# "Compose_proof.v" "Swap_proof.v" "MutableList_proof.v" "Counter_proof.v" "Dijkstra_proof.v" "SparseArray_proof.v" "UnionFind_proof.v" "Fixpoint_proof.v" "BinarySearchTree_proof.v" "DFS_proof.v" "SequenceSig_proof.v" "CapacitySig_proof.v" "ChunkedSeq_proof.v" "ReducerSig_proof.v" "FingerTree_proof.v" "Dom_proof.v"
\ No newline at end of file
# "Compose_proof.v" "Swap_proof.v" "MutableList_proof.v" "Counter_proof.v" "Dijkstra_proof.v" "SparseArray_proof.v" "UnionFind_proof.v" "Fixpoint_proof.v" "BinarySearchTree_proof.v" "DFS_proof.v" "SequenceSig_proof.v" "CapacitySig_proof.v" "ChunkedSeq_proof.v" "ReducerSig_proof.v" "FingerTree_proof.v" "Dom_proof.v"
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