# HG changeset patch # User Adam Chlipala # Date 1422823854 18000 # Node ID 809bceab15a337d913288d076db4a55de6f75f26 # Parent 9e9c915f554cd6c11245ab5daca801caa65ff668 Don't allow singleton