Remove extraneous import from examples#1

tomssem wants to merge 1 commit intoLS-Lab:masterLS-Lab/Coq-dL:masterfrom

tomssem:tomssem/FixExamplestomssem/Coq-dL:tomssem/FixExamplesCopy head branch name to clipboard